pedro_caetano

My intuition is that financial markets seem increasing dissociated from any correlation with street level economy or the financials of traded companies?

- Really high SNR when searching about topics I am not a subject matter expert on.

- Really good at finding prior art on a topic while not necessarily limited to papers conferences and patents (e.g. finding obscure blog posts on a hobby project that actually is relevant prior work).

Arguably this can be achieved with frontier models but my experience is that Kagi is vastly more exhaustive and well I don't need to ask for references because they are indexed in the search itself.

At this point the rust contracts crate with requires/ensures looks like a more straightforward approximation of Ada's Contracts and assertion policy. But still as far as I am aware no one has implemented something that mimics the static proof functionality in Ada's SPARK subset (which arguably not all applications or problem domains actually need or can justify the extra effort/cost).

I think even professional Rugby players have marginal incidence of CTE compared to American Football.

I agree with you on combat sports with head strikes. But Looking at kids activities it's hard to imagine that rugby, handball, lacrosse, etc would be CTE inducing as a pre college sport activity.

Without much evidence my intuition is that this is much more specific to American Football where players are effectively using what is meant to be protection gear and using it as a weapon to strike other players.

It would seem plausible that there may be more than one mechanism via which resource scarcity creates pressure for increased longevity (to increase the odds of offspring).

Example mock code review (or quasi pair code review):

- look at 400-600 lines of code that are problem domain specific

- If onsite, we leave the room for an agreed time period where they can review the code on their own

- The code is purposefully sprinkled with layers of defects, basic language issues, footgun issues, test quality/coverage, styling, and architectural design

- Just let them talk through their findings, then pick their brains to understand how deeply they understand their own claims

- Stronger candidates will go from the basics up to design and more meta topics. Weaker ones usually only touch the surface

The main thing that changed is geopolitics. Putin is getting desperate and European attacks without full casus belli are getting messier and messier.

Likely related to corpus but questions asked in these domain knowledge areas are not nearly as accurate and specially not nearly as complete as when asked in a native language.

Arguably with that spec the same could have happened if they used punched cards or Haskell instead of Ada.

A Radiologist friend of mine convinced me to give it a try, apparently radiology reports are dictated in most places nowadays

I think the main frustration is often speed and precision but with modern dictation software it is pretty flawless.

There is such an insane amount of information richness in mammals and sensor specialization:

- Merkel discs

- Ruffini corpuscles

- Meissner corpuscles

- Pacinian corpuscles

- Muscle spindles

- Golgi tendon organs

- Nociceptors

And it's not the biology 101 types of sensors (in terms of variety of sources) but also the information density per square millimetre. It is orders of magnitude above anything that has ever been created with technology.

Once we leap above just Visual Servoing and start reaching sensory density and feature parity with human skin, joints, muscle, feet/hands, then we may start to see real breakthroughs.

https://en.wikipedia.org/wiki/List_of_free_electronics_circu...

I would imagine, even with safe dosages, there would be some form of cumulative effect in terms of retinal phototoxicity.

More so if we consider the scenario that this becomes a standard COTS feature in cars and we are walking around a city centre with a fleet of hundreds of thousands of these laser sources.

Is the price hike only on Hetzner's offer for dedicated or VPS servers?

We have progressively absorbed single function items into a mobile computer.

Watch, notepad, calendar, phone, flashlight, camera, dictionary, encyclopedia, etc.

The issue with declaring single function items as obsolete is that it removes redundancy and really sets us all up for an increasingly more critical single point of failure in our pocket.

I had the same issue with a loan machine from a client, super responsive onsite, but once I connected through a VPN from an external network, all the basic functionality in the file manager was brought to a halt. Even something as simple as right click on a folder to show a context menu would take several seconds.

The files were all local (also with Onedrive sync disabled) so I am almost positive it was whatever they were using for endpoint protection (Can't recall 100% but probably something from CrowdStrike).

I read text and sometimes I can interact and click/tap it for some action but other times it is just text. Not having a visual distintion between those two seems hostile. But maybe I'm just showing my age.

They had a spin off SMELLDECT GmbH which sells a kit but not exactly a order from DigiKey thing. I imagine you will need to send an RFQ and go through the motions with their sales team.

If this is inexpensive (in terms of cost/time) it will likely make business sense even with false positives.

I'm on the same boat, smart TV has never been online, all content is just cast from media server/phone/tablet straight to chromecast. It works, no fuss, glitch free, and of course they will kill it.

I doubt my mental bandwith could cope without org mode and digital formats in general. But that penmanship and the general neatness really shows a focus and an intentionality that makes me feel that something has fallen off the wayside in this digital transition.

The gcc-arm-none-eabi toolchain is pretty much what you are asking for at least for ARM targets. You can literally use a text editor and gcc-arm-none-eabi, that's it.

And if you want something really bare bones avr-gcc still targets the whole atmel family including those ATtiny chips which are also a lot of fun.

I don't know the state of it nowadays but 'Mbed' is probably worth looking into. The project had _a_lot_ of Middleware libraries to abstract hardware, a few levels below, makes embedded development a little less datasheet dependent, specially if you are just hacking something as a hobbyist.

I've been using Anthropic's models with gptel on Emacs for the past few months. It has been amazing for overviews and literature review on topics I am less familiar with.

Surprisingly (for me) just slightly playing with system prompts immediately creates a writing style and voice that matches what _I_ would expect from a flesh agent.

We're naturally biased to believe our intuition 'classifier' is able to spot slop. But perhaps we are only able to stop the typical ChatGPTesque 'voice' and the rest of slop is left to roam free in the wild.

Perhaps we need some form of double blind test to get a sense of false negative rates using this approach.

From your own words, to flesh out implies to me as a non-native that I remove flesh from said thing, when in reality the expression is to mean that you "add" flesh to bones. Very confusing.