aeonik

35 ms·

601.
by aeonik 3y ago
Have you looked into Idris2 at all. While looking into these theorum provers, it always felt like they had an impedance mismatch with normal programming. Idris2 portends to a general purpose language that also has a more advanced type syste
602.
by aeonik 3y ago
I'd love to learn more about your methodology. Are you using in game tools or OS tools?
603.
by aeonik 3y ago
In my brain "linters" ⊆ "static analyzers". Anything that looks at code without running it qualifies. I don't know what you mean by "proper" static analyzer. The static analyzer libraries that I use do pro
604.
by aeonik 3y ago
I'm pretty sure everyone uses a basic static analyzer for code completion, formatting, and syntax. Most IDEs just set it up for you. I've used the "professional" security ones including TrustInSoft and Synopsis tools. Th
605.
by aeonik 3y ago
I get something like this from time to time, I notice if I notice it coming on, and I take a break for about 4-8 days, and come back, and things feel smoother than ever. At least for me. I also notice if I practice music in the morning, gui
606.
by aeonik 3y ago
Don't store the state like this. Just append an update to an immutable data store, and program the logic to unfold from the latest records. See Diatomic: https://docs.datomic.com/pro/getting-started/brief-over
607.
by aeonik 3y ago
LLMs are great, but they still require someone to understand what the hell they output and edit the garage they produce. I've been using ChatGPT endlessly every day, and it has improved my ability to self learn, and grow by leaps and b
608.
by aeonik 3y ago
Yes people have asked. One they removed access they rolled out a Quicken partnership, so I assume this is some decision made by management as part of a business deal. But I'm only speculating based on the timing.
609.
by aeonik 3y ago
Unfortunately USAA has disabled OFX and QFX. I hope this doesn't become a trend. I can't believe getting programmatic access to finances can be so difficult in this day and age.
610.
by aeonik 3y ago
I'm curious to know if very terse languages like Uiua and BQN would be good for blind programmers? I would think it eliminates a lot of overhead that is specifically designed for sighted people. I also wonder how screen readers deal wi
611.
by aeonik 3y ago
I'm not sure how people learn how to write or read without using a dictionary and/or Thesaurus like this. The more I think about it, I'm not sure how language would even develop in the first place if this were true. The way I
612.
by aeonik 3y ago
I used to use a network Emulator+Physics/Traffic Simulator called NCTUns to research vehicle networking back in 2010. I remember it was pretty cool. If I recall correctly, I could run several instances of all kinds of networking gear,
613.
by aeonik 3y ago
Keep digging! I love your project so much! My instincts tell me there can be really cool discoveries in this paradigm. It seems to mesh (ha) so well with so many problem domains.
614.
by aeonik 3y ago
The study's veracity notwithstanding, DOs are trained and accredited with the exact same curriculum and standards as MDs plus an additional section in Osteopathy. I don't think it's valid to use the fact that someone is an Os
615.
by aeonik 3y ago
Professor David Kipping has a lot of great videos that break down the statistical assumptions of these models. Here is one such video I highly recommend. https://youtu.be/-CsLmoiKugE?si=HocVLFJK3mwTgaFp
616.
by aeonik 3y ago
I think it's more then tedium and fun that blocks the rigor. Though, those two properties definitely hold a fair number of people back. I'll use myself as a research subject: I really like the scientific method, and don't min
617.
by aeonik 3y ago
I'm confused, do you mean "PostHog"? I've never heard of this being used that way.
618.
by aeonik 3y ago
Zotero is your answer, it even auto generates your citations. https://www.zotero.org/ Apparently there are plugins for Logseq and Obsidian as well. https://github.com/vyleung/logseq-logtero-plugin htt
619.
by aeonik 3y ago
I have over 4000 packages installed on my Arch Linux system. The only hiccups I have with dependencies are Python, Node, and a few Java projects. Flatpak doesn't solve the dependency problem, it just kicks the can down the road. We nee
620.
by aeonik 3y ago
I honestly wonder if this Unum format might actually support surreal numbers. The interval arithmetic and bounds look like they might come in handy. Maybe all that's needed are functions that can do approximations, conversions, and mat
621.
by aeonik 3y ago
Which ones do you recommend? Every one I have tried hasn't really given me the same flexibility as Splunk, most seem to miss the core part of what makes Splunk cool. Though I'd definitely like to see Splunk improve their design.
622.
by aeonik 3y ago
Tangent: we should make a format for surreal numbers while we are at it. https://en.wikipedia.org/wiki/Surreal_number Here's an interesting Julia library that tries to do it: https://github.com/mro
623.
by aeonik 3y ago
I wonder why there aren't more tools to allow structural editing like Lisp has. This way the file can never be in an unparsable state.
624.
by aeonik 3y ago
I LOVE this. Thank you for sharing. I want to stitch this together with my user space programs and animate it with eBPF or audit logs. How cool would it be to have a whole map of your system blinking or changing colors based on the load to
625.
by aeonik 3y ago
I took a course in my undergrad for fun. It's an interesting design paradigm, all the code had a built in schema attached to it, if I recall correctly, which I've come to appreciate and find more interesting over time. Using the A
626.
by aeonik 3y ago
What is in direct contact with the water? I assume the water is heated conductively by another material that absorbs the radiation and is heated. What material is used to for this shielding and heating?
627.
by aeonik 3y ago
Research takes too long if you have access to sources directly. Documentation is rigid, and assumes the reader has some level of familiarity and state. Growing up on the Internet has led, for me, to have a very eclectic and fragmented knowl
628.
by aeonik 3y ago
I was under the impression that every cent that is created by the Federal Reserve and the US Mint, is delivered to banks via a loan. Wouldn't that mean that the origin of all "money" under this system, either be a loan or fra
629.
by aeonik 3y ago
Good question, most rock climbing strength is in the legs, so as long as someone can stand up, they should be able to climb, at least on the easier routes. The equipment is usually rated for 10s of thousands of kN, so I don't think any
630.
by aeonik 3y ago
Rock climbing! I can't find the study right now, but I remember reading an ADHD treatment efficacy study, and was surprised to see rock climbing being compared to therapy and amphetamines. It works really well! It's a documented t

More ›