setori88

5 ms·

1.
by setori88 5y ago
If it's of any interest to anyone I recently did a podcast with Prof Robin Hanson too: https://www.youtube.com/watch?v=EIbOUjplFus [2hr 48min video]
2.
The Stewart Mackenzie Indaba #7 Shawn Chang – Hardened Linux Founder [video](youtube.com)
1 points by setori88 6y ago|0 comments
3.
HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers(wrongbaud.github.io)
1 points by setori88 7y ago|0 comments
4.
Fairylog: A Racket language aiming to be like Verilog(pinksquirrellabs.com)
60 points by setori88 7y ago|20 comments
5.
by setori88 9y ago
My project http://www.fractalide.com is looking to build out a new hypercard type environmont
6.
Typing the nix language(gofundme.com)
1 points by setori88 10y ago|0 comments
7.
CakeML – A Verified Implementation of ML(cakeml.org)
163 points by setori88 10y ago|37 comments
8.
by setori88 10y ago
email sent
9.
by setori88 10y ago
Any idea when custom allocator will become stable? That's the only thing holding us to nightly.
10.
by setori88 10y ago
Steve you're a good chap doing some solid, respectable and valuable work. These things are just troglodytes looking to inflict pain. The interesting thing is, they could totally transform themselves by doing constructive work and prese
11.
by setori88 10y ago
Fractalide [1] just removed cargo from it's build system, and opted for nix to take up the role [2] of cargo. [1] https://github.com/fractalide/fractalide [2] https://github.com/fractalide/nix
12.
The Coming War on China – John Pilger(johnpilger.com)
2 points by setori88 10y ago|0 comments
13.
by setori88 10y ago
There is too much cognitive dissonance between nix and cargo. It might be better to get nix, a package manager, to do the job of cargo, a package manager.
14.
by setori88 10y ago
a) yes it will, we'll have to do some design on the `fvm` to make it hotswap. It won't be ready for this stabilization release. The functionality is already there it just needs b) I'm not really focusing on other market occup
15.
by setori88 10y ago
We have the early stages of a tutorial here: https://gitlab.com/dmichiels/dochttp/blob/master/http_todo.m... , it still has to be converted into a decent HOWTO. Hopefully this will give insight into desi
16.
by setori88 10y ago
An author here: we're working on the nixcrates project to remove cargo and allow for closer integration between nix and crates.io, so far you can check out the project at https://github.com/nixcloud/nixcrates (joa
17.
by setori88 10y ago
Not sure if it's valid, but there's an implementation of a flow-based programming system over at https://github.com/fractalide/fractalide . Although it's not quite at the boxes and lines stage yet, the co
18.
by setori88 10y ago
How much different is this from https://github.com/fractalide/fractalide/tree/master/support... ?
19.
by setori88 10y ago
Fractalide is a Rust programming platform that makes it simple to reason about efficient microservices. The Nix Expression language provides a language compatible with a Continuous Integration - Hydra ( https://nixos.org/hydr
20.
Show HN: Simple Rust Microservices(github.com)
3 points by setori88 10y ago|1 comments
21.
by setori88 10y ago
Regarding microservices; it's my hopes https://github.com/fractalide/fractalide moves into this space.
22.
by setori88 10y ago
"Currently, the focus of development is to improve SolveSpace's handling of complex assemblies with many similar parts by allowing to load a hierarchy of sketches instead of a single sketch and propagate the changes as they are ma
23.
by setori88 10y ago
https://m-labs.hk/solvespace/
24.
by setori88 10y ago
Location: Hong Kong Remote: True Willing to relocate: False Technologies: Rust, Nix, FBP, Capnproto Github: fractalide/fractalide Email: setori88 at gmail Fractalide, a dataflow language (FBP) implemented in Rust is r
25.
by setori88 10y ago
That getter is fascinating, it's a new concept to me. Recently we blew a picoammeter because we fired up a vacuum guage in UHV after disconnection from the roughing pump. The vacuum guage out gassed massively giving us shit vacuum, thi
26.
by setori88 10y ago
That induction heating step is critical. Ensure you heat metal whilst the vacuum system is still pumping otherwise if you heat the metal after the tube is sealed the metal will out gas giving you bad vacuum, completely destroying your Nixie
27.
by setori88 10y ago
Fractalide ( http://githib.com/fractalide/fractalide ) is an implementation of dataflow programming (specifically flow based programming). Component build hierarchies are coordinated via the Nix package manager. Capnprot
28.
by setori88 10y ago
Actually iElectric was one of the people who encouraged me to learn the Nix Expression language. Now we're doing stuff over at github.com/fractalide/factalide I could never have imagined. The promised gain iElectric hints at
29.
by setori88 10y ago
Take a look at Fractalide http://github.com/fractalide/fractalide It uses Nix Expressions to lazily coordinate the building and port linking of components.
30.
Singularity cult(thebaffler.com)
1 points by setori88 11y ago|0 comments

More ›