Ask HN: Which important problem are you working on?
Important is subjective, what is important to you?
Rust's biggest challenge (IMO) is that the borrow checker makes the code very brittle... many changes which should be small end up causing widespread refactors. Not great for software engineering sometimes. Perhaps this approach will solve that.
Nailing down the perfect balance of all the techniques is challenging, but it's fun and looking promising =)
The core insight is that Rust's memory safety and speed mostly don't really come from the borrow checker, the borrow checker just showed us the way. We can combine the resulting patterns in different ways now.
Nice work though; very interesting approach and indeed quite a pain with Rust.
[0] https://en.m.wikipedia.org/wiki/Vala_(programming_language)
The next year: Figuring out some form of employment compatible with the above, or navigating the bureaucracy to get disability.
Long term: Convincing people that we need to implement capability based security. Until that point, we're going to keep losing liberties in the name of cybersecurity (theater), and nothing will actually get better. It's the only way to actually own your computer.
Other: I want to find out if Bitgrid was a dumb or smart idea before I die, for real.
"Given the lack of available treatment recommendations in the setting of large numbers of patients suffering with this disorder globally, the FLCCC developed the I-RECOVER protocol in collaboration with a number of expert clinicians including Dr. Mobeen Syed, Dr. Ram Yogendra, Dr. Bruce Patterson, and Dr. Tina Peers. Although our varied yet often overlapping treatment approaches were initially empiric, while based on both preliminary investigations into and prevailing theoretical pathophysiologic mechanisms of LHCS, the consistently positive clinical responses observed, often profound and sustained, led the collaboration to form the consensus protocol below. As with all FLCCC protocols, we must emphasize that multiple aspects of the protocol may change as scientific data and clinical experience in this condition evolve, thus it is important to check back frequently or join the FLCCC Alliance to receive notification of any protocol changes."
The idea is dead simple, 4 bit input, 4 bit output lookup tables clocked in alternative phases, like a chess board, as a general purpose computing fabric.
I feel like the real reason we don't have robots doing all of our physical grunt work, is that it is just way too expensive to develop robots that do advanced and custom things. Currently only big players with deep pockets can consider developing software for a robot that automates a task that requires some level of fine grained control or visual feedback.
The computer vision part is challenging as you need deep subject knowledge, you need to implement complicated algorithms and assemble huge datasets. We are working on a way to improve the efficiency of creating datasets, standard algorithm implementations and standardizing interfaces to make things as composable as possible.
It ain't much, but it's a start. https://www.strayrobots.io
Lowering the barrier to entry for many of these object recognition tasks makes so many applications possible. Many years ago (before DL was a thing), I was approached to make a phone app that recognized coins; doing it with classical computer vision, with rotation invariance and potential overlaps between the coins was a rather big task and far too expensive for that customer. Nowadays it's way easier with machine learning, and SDKs such as yours seem to make that even easier.
I think most people seriously underestimate how powerful modern proof assistants like Lean [1] are for building things like provably correct software and chips, as well as verifying math research. But fully formalizing anything big leads to a proliferation of small annoying lemmas -- not "difficult" to prove per se, just annoying and time-wasting. I'm working on a neural theorem prover that aims to solve these lemmas fully automatically.
Trying to create a notepad based "OS" ui that devs and grandmas can use together.
Throwing events at my place and making free pizza for friends so we can keep community cohesion after our co-working space closed.
Assuming grandmas can use it, the paradigm will be easy to pick up fast? What's the syntax like if it's meant to be used widely? I'm always interested in learning about new computing UX paradigms, there are always ways to improve things!
In my opinion, self driving cars are going to be a significant improvement in quality of life for people who do not have access to transportation (eg. the young and elderly, and people who are not able to drive for various reasons) or may need goods and food delivered at a cheaper rate than what is currently available.
https://www.sciencedirect.com/science/article/abs/pii/S09394...
DSA is as important for programming as control flow statements. Yet we keep ignoring the fact that it is not understood--see Wilson et al's "DSA: A Survey and Critical Review" for one of the best problem statements of all time.
Fragmentation is DSA's (and every Tetris player's) main enemy. Believe it or not, we haven't managed to converge on how to measure it yet.
I am working on a tool that a) computes an approximately optimal fragmentation value per application and b) also computes fragmentation for arbitrary app/allocator pairs.
Trying to figure out my life. I work a job I'm starting to hate because it's dead-end, but it pays well for what it is. Mentally exhausting though.
I haven't had time anymore to find something else, and to make it worse, it's not tech-related (in a broad sense, not just FAANG).
I'm kind of stuck where I am for a bit, but it pays the bills. I don't want extravagant, I just want a small place, far out of the way. Not into the "Van Life" thing though.
Keep learning new, valuable skills that will never expire and will only compound your value and keep applying for new jobs while you already have your current one.
Reduce consumption, invest as much as possible in indexes/tech stocks.
Works right now for stuff in vaults. Property in warehouses and galleries is next. It's a building block of the circular economy.
We're trying to build a mix of insta + twitter + Reddit, without the drawbacks of each. All these big apps have issues, Insta with its data mining, Twitter with its blatant hate speech and reddit which is very limited in terms of features.
Fingers crossed, its a bit of a stretch and tbh even I'm not sure I can pull this off but current social media has a lot of room to grow imo.