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.
The Pre-Scheme Restoration project is now underway
Pre-Scheme being a bootstrapping compiler for Schemes and an alternative to implementation in C.
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.
Štar is a concise and extensible iteration construct for Common Lisp which aims to be pleasant to use, easy to understand, fast if needed, general, and not to look like Fortran....
[PLDI'23] Scallop: A Language for Neurosymbolic Programming
YouTube Video
Click to view this content.
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 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.
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.
There are some smaller parameter models (7B) that you can kind of get by running on a Mac book Air. It's been a wild west of innovation as they figure out how to encode the weights in progressively smaller numbers of bits.
One model I've seen averages about 2.56 bits/weight.
I'm not sure how it will fit into my particular use of Obsidian. One thing I keep in mind is I want to be very sure to segregate the AI-generated text from my own.
Actually that is kind of scary, most companies supply you with a work device so it can be securely administered. That's kind of a red flag that they accept you working from whatever you have.
Get the laptop if you can, you can probably claim it for a reduction of taxes (keep the receipts). Keep it separate, always. You'll appreciate being able to close the "work device" when the day is done. Also, very much lock it down--do not let friends/family "borrow" your laptop.
People do the worst crap on computers that aren't their own.
The other possibility is to increase the number of higher power filters to decrease the load on the fan.
Wow. Now we're getting close to being attended to by Omm in THX1138.