hendler

7 ms·

31.
Inflection AI API(inflection.ai)
2 points by hendler 2y ago|0 comments
32.
Steve Jobs – 2005 Stanford University Graduation Speech(youtube.com)
3 points by hendler 2y ago|0 comments
33.
Trying Meta's new AR glasses(youtube.com)
1 points by hendler 2y ago|1 comments
34.
by hendler 2y ago
https://nsq.io/ is also very reliable, stable, lightweight, and easy to use.
35.
by hendler 2y ago
Peaches 4 hours ago Maybe try posting a picture of the darned thing in use? RN it’s a pile of coral. Yellowfoot 3 hours ago Unfortunately, all contemporaneous photographs of the item in use were los
36.
City of Columbus sues expert who exposed extent of cyberattack(10tv.com)
311 points by hendler 2y ago|132 comments
37.
by hendler 2y ago
see also https://leandojo.org/
38.
LeanDojo: Theorem Proving in Lean Using Language Models(leandojo.org)
3 points by hendler 2y ago|0 comments
39.
by hendler 2y ago
No. Good catch though! I am not Jim, though I have talked with him!
40.
PC software pioneer Gary Kildall's life and mysterious death at Monterey bar(youtube.com)
1 points by hendler 2y ago|0 comments
41.
by hendler 2y ago
Prolog itself is still developed and used in various settings (mostly swi-prolog?), but other languages and logic engines solve domain specific but similar problems better (rule engines, formal proof verifiers, etc). For exploratory work it
42.
by hendler 2y ago
Created a Rust version using devin.ai. (untested) https://github.com/HumanAssisted/shapeshift-rust
43.
by hendler 2y ago
sure - twitter.com/Hendler
44.
by hendler 2y ago
Air quality is not thought enough of in terms of localized data. Some modeling works at larger scales, but if you want to know the forecast for other pollutants (especially ones that disperse or transition) or the source of methane leaks,
45.
by hendler 2y ago
Hey, looks interesting. Any consulting positions? ps typo "Excellence isn't really really important to you"
46.
by hendler 2y ago
I don't use Rust for game dev but I do for low level libraries and find it easier than C++ to get started. I have enjoyed it more than Java and like it for different reasons than Go, but it feels good to program in. As for the design p
47.
Vinod Khoslas 12 predictions about the future(medium.com)
2 points by hendler 2y ago|3 comments
48.
AT&T Archives: The Unix Operating System [video](youtube.com)
1 points by hendler 3y ago|0 comments
49.
by hendler 3y ago
Not sure why this was posted and made it to the front page but identity is certainly critical infrastructure with further challenges coming soon. Surprised no one has mentioned the open sourcing of the Orb in this context https:/&#x2F
50.
GPT Mouse(whatisprogress.com)
1 points by hendler 3y ago|0 comments
51.
Apple releases Journaling suggestions API [video](developer.apple.com)
2 points by hendler 3y ago|1 comments
52.
AI and Mass Spying(schneier.com)
400 points by hendler 3y ago|328 comments
53.
The Software Artist(whatisprogress.com)
1 points by hendler 3y ago|0 comments
54.
by hendler 3y ago
Maybe will no one will read my reply here, but getting downvoted for sharing stuff like this is lame. The community is awesome, the algorithm generally works, but I'm looking forward to something better when we need community.
55.
by hendler 3y ago
I use quicktabs https://chromewebstore.google.com/detail/quick-tabs/jnjfeinj...
56.
by hendler 3y ago
While humans are still browsing (instead of agents), there is definitely a need to manage our collections better. I worked on something in 2007 for bookmarking, too. https://vimeo.com/60251128
57.
by hendler 3y ago
Excellent and succinct description of risk to all institutions > Google's culture eroded. Decisions went from being made for the benefit of users, to the benefit of Google, to the benefit of whoever was making the decision.
58.
The Dark Side of Competition in AI(youtube.com)
2 points by hendler 3y ago|0 comments
59.
by hendler 3y ago
Rather than looking to capitalism which has provided tremendous benefits to society as well as unintended consequences you may want to update your thinking to focus on the incentives alignment problem in general. This TED talk articulates i
60.
GRule – Rule Engine(github.com)
3 points by hendler 3y ago|1 comments

More ›