I know people who actively fight me on ISO 8601. They don't like the way it sorts their files/folders, reliant on whatever behavior the operating system does. Whenever data recovery happens or their files are moved, all the change times are blown out the window and the sorting they expect is blown away.
I'm not yet using a 24-hour clock. But it has me thinking. That's not such a bad transition for 24-hour local time into UTC. Or just using both. At some point the inconvenience of the local will become vestigial and UTC is what remains.
What if the only enabling factor to getting to Kardashev Type I is adoption of UTC for everything?
Yep, we're doomed by the Great Filter.
I keep the keys in the hand that closes the door they lock. No keys, no close.
Add: Get the room as cool as possible. Feet and hands are great radiators.
How about two batteries that can be ejected and swapped without powering off the device? We don't need to wait for super-capacitors today.
iPhones... someday. :)
Abstract: We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves these goals through three key features: 1) a flexible symbolic representation that is based on the relational data model; 2) a declarative logic programming language that is based on Datalog and supports recursion, aggregation, and negation; and 3) a framework for automatic and efficient differentiable reasoning that is based on the theory of provenance semirings. We evaluate Scallop on a suite of eight neurosymbolic applications from the literature. Our evaluation demonstrates that Scallop is capable of expressing algorithmic reasoning in diverse and challenging AI tasks, provides a succinct interface for machine learning programmers to integrate logical domain knowledge, and yields solutions that are comparable or superior to state-of-the-art models in terms of accuracy. Furthermore, Scallop's solutions outperform these models in aspects such as runtime and data efficiency, interpretability, and generalizability.
OpenBao https://openbao.org/
(making a note for myself.)
IBM's management hierarchy is deeper than the Nine Circles in Dante's Inferno, plus you get to use JIRA.
At least it wasn't "Hey, pull up that YouTube on the procedure, I need a refresher."
While being blurry the background has lots of ships and detail that look "off." The slant of the building was putting me off until I saw that this picture was coming from the UAE which has some wild architecture.
The page you linked from Highland definitely seals the deal that the Kronos is a real device.
Looks AI generated. Just the kind of thing that would make the opposition paranoid and expend ammo into the sea.
So, did that happen just before the Tiny Desk Thanksgiving talk? I don't think they ever really explained why he wasn't using the Resolute Desk for that talk.
This could also be made more "local" with https://en.wikipedia.org/wiki/Compressed-air_energy_storage or https://en.wikipedia.org/wiki/Thermal_energy_storage and not reliant on the difference of elevations.
The pandemic whipsawed its de-facto function the other direction: before the pandemic, public education grew to become more of a form of subsidized childcare with added politics of mandatory curricula and mandatory testing. During the pandemic, the system forced already strained parents previously reliant on subsidized childcare to become teachers and were required to be on-camera attendants for their children to complete timed assessments to "prove there was learning and not cheating", which was even more problematic when you had more than one child-- because then you had to teach and assess N-child-different things during the day where previously each child was cohorted in grades with N-concurrent teachers.
The current system treats everyone like children because it never had the plot for effective education, "compulsory education" was for the poor and it was oriented to inculcating values for adherents of religion, loyal subjects of monarchy, soldiers for state, and drones for industry. If your family had money, your education was not from the compulsory design.
Oh that's awesome. The drop-down arrow "disapeared" with my mental blinders-- I was thinking it was only a toggle for PDFs.
This is a useful take: I too will use LLMs for search-- but not for search for journal articles with data and evidence. LLMs too easily confabulate these.
LLM-as-search is fantastic when you want a no-bullshit statistical result for what you're looking for when you're wanting an overview or interactive tutorial.
I have the big SearXNG portal bookmarked ( https://searx.space/ ) but I don't find that I ever reach for it that often. Not being able to cull lower quality sites is just a little bit of extra toil I'm happy to pay to go away.
Ok, you piqued me: Got a link to a guide on using Kagi for the fediverse?
One of my best monthly expenses. I also appreciate being able to block low-quality domains from my search results.
Oh man, your demo gives me Hudsucker Proxy vibes ("You know, for kids!"). I'm going to have to watch it a couple of times to understand what pnk is doing here. My initial take is pnk is a DSL of bash functions that appear to be composing together Tkinter "primitives."
An "APL" for UI. Interesting stuff.
During the Little Ice Age, Native North Americans devised whole new economic, social, and political structures.
During the Little Ice Age, Native North Americans devised whole new economic, social, and political structures.
Optimizing beyond SIMD I won't bore you with the backstory (and I didn't want to draw a bunch of 3d...
InspectorBoat uses godbolt to analyze a Zig comparison routine for SWAR (SIMD-within-a-register) vectorized operation.
More investigations on the xz bash attack script.
