Painful temporary problem- any ideas?
need to borrow high DSP SoC FPGAs (Xilinx) for a few weeks because of a planning issue on my end
VPS bitstream solutions are not an option
how do I get that done through partnering w/ a uni or physics instrumentation company?
Ideally time on an ABN build too
Checking out for the night - good luck!
That makes sense to me - seemed like that would be a component of what’s done in this current paper
Oh ok cool - could be an on-ramp to a whole universe of abstraction tools; has been a cool journey for me so far
seems like a good idea to write your first paper - ur marrying high level math to your computing now, and there’s a great community here - recommend:
ncatlab.org/nlab/show/Ho...
Would it be accurate to say that this represents a more specific variety of what TLA+ aimed to do? Like a language to define specs
Ok I can dig it - I know those guys are always looking for stuff that’s applied and might have feedback on at the very least the fibers and transition system aspect
No idea though - when they started it seemed very open ended, but haven’t checked in lately, could be more closed now
Yeah I’m noticing some repetition in the definitions and the format could be a little clearer
Sometimes ppl use a table when defining the components of a grammar, like in the Curry Howard paper
Ok gotcha, it sounds like you’re getting feedback on the proof and working through case studies to demonstrate
I’m finding that I keep going back to read as I’m typing so maybe worthwhile to just go ahead and read
Do you know where you’re submitting? Considered:? compositionality.episciences.org
I thought the parser stuff related to something totally different - to the agentic stuff
This is a really interesting paper - should I wait until it’s done to give a close read or is it basically in a good spot now?
I read the start and the part about HTH
Ohh ok, yeah that makes sense. Sounds like the Mac mini approach is dominant right now - hm you’re pretty in vogue
A couple of years ago I went to a doctor and was referred to a specialist who did some exercises related to breathing, after ruling out neurological stuff as the cause of some speech issues related to control
Unfortunately it ended up being quite expensive, but there may be some inexpensive tools
Garbage collecting your nix or nah? I feel like that’s the issue for me 90% of the time
Did you basically structure like a hashmap of functor, where each functor is a combinator?
If so, memoization sounds done, and now it’s down to the implementation details of each parser?
That would sound like a good spot to be
This! With an ontology in place, there’s a semantic domain, and by way of this a lot of pattern matching opens up, or morphisms based on a term system
It’s mind boggling that every action a person takes opens some tree of possibilities or induces a constraint.
Really important to be intentional rather doing a random walk down eternity’s tree
The DOS memory protection thing is nuts
🔥🕶️☀️
Very interesting!
Rust-native open hardware (RTL) RISC-V chip.
www.youtube.com/watch?v=DaWk...
It’s just getting the water, patience
How did you approach it?
I think his face looks funny
Bailed on an event in Mexico this weekend and spent the weekend stress watching the news from America
From the @financialtimes.com Some initial thoughts on the economic and market implications of the Middle East conflict.
For a deeper dive, please check out my latest weekly note on the global economy and markets (links in the prior post).
#economy #markets #oil #MiddleEastConflict #iranwarupdate
Haha that’s like the experience of all first drafts I’ve ever done - mad sleepy, arms hurting, and dreading the clear headed walkthrough
Fuggg this is legit, you’re getting this done super quickly with ur agent workflow - maybe I’m sleeping on that too much 😅
100%
Oh ok gotcha - this weekend I’m working on some FPGA stuff and reading some books to destress from the Iran stuff, but I’m down to block out some time in the future
Wow ok that’s pretty extensive - I’ll make sure to read the library when you release!
Oh also if you want an emacs tester - I know the old version works with emacs -nw I think I saw
Haven’t used ttyrec personally before - but would be happy to test it out if there’s a nix flake - which I realize might be a big ask depending on if that’s foreign
