Skip to content

Instantly share code, notes, and snippets.


Renato Athaydes renatoathaydes

View GitHub Profile
renatoathaydes / dart-null-safe-final-field-fail.dart
Created Nov 6, 2020
This fails to compile on line 18, but it should work because the field is final so the null check ensures the field can't be null
View dart-null-safe-final-field-fail.dart
// Welcome to the null safety version of DartPad!
// This site has a dev channel release of the
// Dart SDK with null safety enabled. You can
// play around with code of your own, or pick a
// learning exercise from the snippets menu at
// the top-right of this page.
void main() {
renatoathaydes /
Last active May 17, 2020
Taking Project Loom for a spin
package loom;
import rawhttp.core.RawHttp;
import rawhttp.core.RawHttpRequest;
import rawhttp.core.RawHttpResponse;
import rawhttp.core.client.TcpRawHttpClient;
import java.nio.charset.StandardCharsets;
import java.util.concurrent.CountDownLatch;
renatoathaydes /
Last active May 4, 2020
Calculating a number from its constituent parts (encoded as ASCII bytes)
import java.nio.charset.StandardCharsets;
class JavaComparison
public static void main(String[] args)
for (int i = 0; i < 100; i++)
renatoathaydes / Dockerfile
Created Jul 6, 2019
Minimalistic Docker image from a simple Dart application - includes only the AOT-compiled app and dartaotruntime.
View Dockerfile
FROM google/dart AS dartc
ADD pubspec.* /app/
RUN pub get
ADD bin/ /app/bin/
ADD lib/ /app/lib/
RUN pub get --offline
RUN dart2aot /app/bin/main.dart /app/main.aot
View main.dart
abstract class _State {
T use<T>(
T Function(_ChooseProviderState) useChooseProviderState,
T Function(_LoadingState) useLoadingState,
T Function(_ChooseAccountsState) useChooseAccountState,
T Function(_ImportingState) useImportingState) {
if (this is _ChooseProviderState) {
return useChooseProviderState(this);
if (this is _LoadingState) {
renatoathaydes / index.html
Created Apr 18, 2019
CheerpJ index.html file
View index.html
<!DOCTYPE html>
<html lang="en">
<meta charset="utf-8">
<title>CheerpJ test</title>
<script src=""></script>
View spectral-norm.pony
use col = "collections"
use fmt = "format"
type Error is String
type Result is (F64 | Error)
type MaybeArray is (Array[F64] iso | Error val)
interface ReceiveUV
be receive(m: MaybeArray, a: Array[F64] iso)
renatoathaydes / index.html
Last active Feb 9, 2019
Tic Tac Toe Game written in Dart. This is a clone of the game written in the React official tutorial:
View index.html
<div id="errors" style="
background: #c00;
color: #fff;
display: none;
margin: -20px -20px 20px;
padding: 20px;
white-space: pre-wrap;
<div id="root"></div>
renatoathaydes /
Created Oct 29, 2018
Use git worktree to maintain GitHub Pages branch
# Initialize a gh-pages branch... GitHub expects this branch to exist to publish a project website from it.
git checkout --orphan gh-pages
git reset --hard
git commit --allow-empty -m "Initializing gh-pages branch"
git push origin gh-pages
git checkout master
# Define a directory where the static website files will reside
renatoathaydes /
Created Jan 14, 2018
HTTPComponents HTTPClient evolution
* HTTPClient usage circa version 5.0-beta.
package org.apache.hc.core5.http.examples;
import java.nio.charset.StandardCharsets;
import java.util.concurrent.TimeUnit;