elemeno

Keyboardio sells both the Preonic and Atreus (https://shop.keyboard.io) fully built with a variety of key switch types.

I use the Preonic as my daily driver and really like it - minimal but not too much so. I tried the Atreus like the idea but it was a touch too minimal for my taste - certain key combinations I used a lot at work were too much of a finger twister!

To the best of my knowledge much of this originated with SecDB/Slang at Goldman - SecDB (securities db I believe) being the object store and slang the somewhat quirky C like language that ran with it (also the only language I’ve used professionally that let you have spaces in the variable names).

Some of the folk that built that (or worked on it) ended up at JPM and Merrill where they built the Python centric version - Alpha and Quartz respectively. Barclays Capital has/had a similar system as well I think, but it’s not one I know about offhand - they did though, memorably, have a system that was pretty much Haskell-in-Excel.

It’s not an agentic pattern, it’s an approach to test driven development.

You write a failing test for the new functionality that you’re going to add (which doesn’t exist yet, so the test is red). You then write the code until the test passes (that is, goes green).

They’re one of the two big names in legal data - Thomson Reuters Westlaw and RELX LexisNexis. They’re not just search engines for law, but also hubs for information about how laws are being applied with articles from their in house lawyers (PSLs, professional support lawyers - most big law firms have them as well to perform much the same function) that summarise current case law so that lawyers don’t have to read through all the judgements themselves.

If AI tooling starts to seriously chip away at those foundations then it puts a large chunk of their business at risk.

It looks like this user here - https://news.ycombinator.com/submitted?id=spinity - has created a new account to continue spamming posts about their fidget spinner.

I’ve been building a tool to help with this - Safety Evals In-a-Box [https://github.com/elemeno/seibox]. It’s a work in progress and not quite ready for public release, but its a multi-model eval runner (primarily for safety oriented evals, but no reason why it can run other types as well!) and includes cost and latency in it reporting.

I had a similar problem with mine where the clock was out and preventing it from syncing or updating.

The solution i was told (and which worked for me) was to plug it into a computer for a while - I assume that some time syncing must happen in the background when it’s connected via usb.

If you’re interested in this you might like the game Bombe (https://store.steampowered.com/app/2262930/Bombe/) - a game about defining rules to let the computer solve various minesweeper (and more advanced variants) puzzles.

It’s a bit mind bending as you’re never actually solving the puzzles yourself, but creating sets of rules to solves whole classes of potential minesweeper patterns. It definitely solves that pleasurable puzzle solving itch!

nit: on the front page it says "transfers everything seamless", I think you want to say "seamlessly" instead.

Which Lisp book is that?

It's an americanism as far as I can tell - 'cider' is what would be called apple juice in the UK (or maybe just fresh pressed apple juice) and 'hard cider' is what would be called 'cider' in the UK (i.e. the alcoholic beverage).

Other than Netflix (that I know of) all the other FAANGs have big offices in London. Between them and the financial sector, there’s a fair number of very well paid tech jobs in London.

From another article on the FT it sounds like they’re talking about ballast, not that it’s taking on water. -

“ Alongside specialists dredgers that are working to remove sand and soil from around the vessel, salvage experts Smit are looking to bring in high-powered pumping equipment to remove ballast water from the front and back of the ship, BSM said.”

> Yet, in all cases, after hedging, the airline will still either win or lose depending upon the change in oil price. No certainty has been gained.

That’s not really true. You’re locking in the price that you’re going to pay - that’s the certainty. You might however not be getting the best price at that point in time. From a financial forecasting perspective it probably worthwhile trade off though as you’re fixing one of your costs for that time period and that’s useful even when sub optimal.

What would be the use case for those firms?

An executive search firm that's able to find candidates who would be suitable for jobs that pay $1mm+ in total comp is going to be using the network of people who they already know in order to find those candidates. At that level of comp you're relying on relationships and recommendations in order to find candidates (along side, most likely, some judicious use of LinkedIn) rather than any form of job board.

Should be this, I think - https://thepihut.com/collections/raspberry-pi-screens/produc...