skysight-inc/HackerNews huggingface dataset:
This is not quite right - a specification is not equivalent to writing software, and the code generator is not just a compiler - in fact, generating implementations from specifications is a pretty active area of research (a simpler problem is the problem of generating a configuration that satisfies some specification, "configuration synthesis").

In general, implementations can be vastly more complicated than even a complicated spec (e.g. by having to deal with real-world network failures, etc.), whereas a spec needs only to describe the expected behavior.

In this context, this is actually super useful, since defining the problem (writing a spec) is usually easier than solving the problem (writing an implementation); it's not just translating (compiling), and the engineer is now thinking at a higher level of abstraction (what do I want it to do vs. how do I do it).
I will pay for software, but I absolutely refuse to pay a subscription. Fortunately my Android/iPadOS software needs are unremarkable, so I've been lucky so far.

What REALLY annoys me is Google Play's apparent reluctance to tell me how my "in-app purchase" will be. As an example, I spent a few hours evaluating apps to let me edit multi-track audio files. I finally found a good one, only to find that if I wanted to buy (licence) the Pro version I'd need to pay the developers via Google an unspecified amount immediately, and no refunds! I looked on the developers web site and found no information there. So I've given up and will be editing sound files on Audacity on Linux.
I have a friend who has been a working musician with no side gig for over 20 years. He makes money in a wide variety of small band types (pipe & drums for funerals and parades, Jimmy Buffet cover bands for festivals, jazz groups for events, etc).

What I take from his experience is that the things that make him successful are the same as many other jobs. He’s dependable, competent, on time and has a large professional network.
We are the only thing in the universe that _defines_ damage. Nature doesn't care! That said, if you think a world without humans is preferable over a world with humans, I'm not sure how to bridge that divide. And if you, like me, find a world with humans preferable to one without, then that would seem to imply humans are good - which at least suggests that more humans, and humans for longer, are better.
Constructive dismissal should be met with malicious compliance. I wonder what the PFML / FMLA claims look like graphed year over year.
++, most controllers are written in go, but there's plenty of client libraries for other languages.

A common pattern you'll see though is skipping writing any sort of code and instead using a higher level dsl-ish configuration usually via yaml, using tools like Kyverno.
That's great :-)
Astronauts should not be compared with normal people. They should be compared with other exceptional people. The Apollo astronauts were quite intelligent (which correlates nicely with lifespan and health) and accomplished... and selected to be healthier than most.

Their physical training as astronauts was likely irrelevant to their lifespan.
Yep, I edited a few minutes ago to mention a reference I found in the datasheet. It's cool, but the reality seems a little more nuanced than that quote would indicate, since that only appears to work for GPIO-only pins, not just pins being used as GPIO. (So, if a pin supports analog input, for example, it will not be 5V tolerant.)
> 1. Nobody has a wider selection of peripherals than a chip with 3 PIOs.

NXP FlexIO says "Hello!"
“A day in the life” (I think?) was the popular one at my school. I think because there was a way to go to an arcade and play a video game within the game.
ADT employee here. The analytics environment at ADT is a complete joke and mostly staffed by contractors. My money is on this being the source of the breach.

As an aside, it's fun to learn about your company having been hacked on HN!
Interestingly that doesn't appear to mention infrared from a quick scan, which is used to help remove dust as far as I understand.

(I've got an old Canon FS4000, which uses IR)
Why the assumption I said this about humans? I was referring to parasites in the theoretical.

More weirdly, was someone equating a tree's ability to be destructive, compared to human's ability to do so. The only time I've seen trees be destructive is due to human interference, putting them into the discussion new ecosystems where they can quickly overcome the native plants.
How tightly coupled is this to react? Is there any chance to use this in a SPA-framework-agnostic way?
What “absurdist lawfare” are you referring to?
I would like that, too. But they haven't, and these statements remain aspirational. We don't do ourselves any favors if we deny the reality of law in favor of the way we would like things to be.
I wonder if "money earned" correlates super well. The amount of money available and the way music was pushed might have favored a few groups represented by big record labels.

Nowadays with streaming and algorithms I wonder where the money goes and if it makes it to artists in the same uneven way.

https://www.visualcapitalist.com/music-industry-revenues-by-...
Theoretically it thins out the workforce by triggering resignations in the people who are the least invested in your company; the ones who really "get it" will stick with the company and RTO.

In reality, it thins out the workforce by triggering resignations in people who think they're going to have an easy time getting a job elsewhere at a remote-friendly company, which is typically your best people. On the balance sheet it looks great because they're often the top earners, but in reality you're losing some of the best talent you have.

It also thins out the workforce by removing anyone who can't return to the office, or for whom doing so is untenable; people with disabilities or health issues, single parents, and so on, regardless of how well those people perform or what they bring to the company.

Theoretically those positions can then be filled by people who are more talented or more interested in or passionate about the role, but in reality they'll be filled by people who don't mind RTO or who need the job bad enough that they'll put up with it.
Time for nationalization, then.

If a producer of critical infrastructure cannot make profit without cutting corners, it should be nationalized so that the need to place profit ahead of anything and everything the producer does is eliminated.
Well, we just got one million of Ukrainian refugees, half of which is not going to return home according to dome polls, but you are right, the demographics cannot be fixed by immigration alone. I myself currently work on a corporate healthcare project with the goal to reduce sick leaves and reduce health-related early retirements. The parental benefits in Germany are quite generous, but it all breaks into the growing cost of living wall. Everyone understands what’s going on and the urgency, but real solutions are yet to be found.
https://www.brennancenter.org/sites/default/files/2024-05/Ex...

These are what the article is referring to when it talked about police monitoring the signature collection protests.

As far as I can tell they generate a report like this for every single protest in the city and send to police so they know what's going and how many people they expect to be a different public place.
I don't think that's this is useful tool to become a mathematician. Becoming one does not necessarily involve solving these kinds of puzzle exercises.

It's a useful to hone your creative thinking and learning how to approach a mathematical problem, but it wont make you a mathematician.
You're taking a pretty black and white look at this.

You make the policy and then hand out exceptions (quietly) to the MVP's.

I have managed a few dev teams inside more "traditional" companies and you would be remisss to think the the corporate policy you set cause you have a CS team is going to get applied to engineers.
I dont know the implementation of this but I have allow website to check for payments disabled. What is to stop every web site from putting this on the homepage or every page? The API says they can get your address info but at least payment info is behind a user prompt.
After heavy criticism for a decade, the government ceased all support for the ICON in 1994 and ordered all ICON hardware to be sent to landfill and software to be destroyed.

This is a sad part of history, I vividly remember hearing this had happened. Growing up in Ontario with computer labs full of these up until the mid to late 90's, graph paper hanging on the walls with LOGO programs, and games, so many games (Oregon trail, Cross Country Canada), and then they started getting replaced with PC's in classrooms. I remember missing a local auction or something that had a bunch of these Burroughs (later Unisys) ICONs for $5/$10, but without the LEXICON server they were functionally useless, I still regret not picking one up.

Always happy whenever someone else remembers them.
Metal straw punctures 4-year-old's throat, artery to brain: How saved
It certainly should count; that company didn't get delivered for nothing by the Drug Discovery Fairy. And even more: the companies that didn't get bought by Gilead should also count, since the funders of all those small companies could not tell ahead of time which would succeed enough to be bought out.
Last week, Stack Overflow released the results of its annual survey on coding, the technologies and tools developers use and want to learn artificial intelligence, and their workplace experience. Over 65,000 programmers from 185 countries responded to the survey.

According to the workplace satisfaction survey results, as many as 80% of professional programmers are unhappy. One in three respondents actively hates their job, while almost half survive in survival mode. That leaves only 20% who claim to be somewhat happy. Although developers have good salaries, plenty of free time, and often the ability to work remotely, many still need to be satisfied.
Show HN: Open-source OTLP encoder and sync for Zap (logging library for Go)
Zap OTLP is an OpenTelemetry Protocol (OTLP) encoder and sync for Zap - a popular structured logging library for Go.

Here's the Github repo - https://github.com/SigNoz/zap_otlp/

You can use this plugin to send Zap logs to any observability backend which can understand OTLP format.

Zap OTLP is designed to enhance logging capabilities in Go applications by enabling the transmission of logs from the Zap logger to an OpenTelemetry Protocol (OTLP) endpoint. This integration allows developers to seamlessly incorporate their application logs into any tool that supports OTLP.

The plugin provides a straightforward setup process where users can create two encoders: one for console output and another for OTLP.

It also includes functionality to initialize an OTLP sync, which handles the actual sending of log data to the specified OTLP endpoint. The sync can be configured with options such as batch size, resource schema, and service name, allowing for customization of how logs are grouped and identified.

Additionally, the plugin offers features like batching logs for efficient transmission, setting batch intervals, and the ability to include trace context in log entries.

This makes it particularly useful for applications that require detailed logging with distributed tracing capabilities.

The plugin also supports secure connections and can be easily configured to work with any OpenTelemetry native observability backend like SigNoz.

Do have a look and let us know what you think? Feel free to start discussions in the repo
They're sharing silicon? That's cool if true.
Windows on ARM is over a decade old

https://en.m.wikipedia.org/wiki/Windows_RT
Yeah.... thinking about it a bit more i just don't see why they didn't set up their CI to deploy a short lived environment on a push to a feature branch.

To me that seems like the simpler solution.
Travel Startup Flyr Raises $295M in Equity and Debt
Just Build It
Who writes the spec to write tests against?

In the end, your are replacing the application code by a spec, which needs to have a comparable level of detail in order for the AI to not invent its own criteria.
But doesn’t that just leave melted plastic in the water?
Perhaps the unfortunate choice of micro USB is to discourage real consumer products from being built with the dev board.
screens only appear on page 120+ of the pdf - and its talking about the coding of the actual UI elements...

Interesting history - but feed that to an LLM to grok - not a human (Sadly, some technical writer prolly almost committed suicide writing that by deadline)

--- but my other points still stand on the stat of Desktop UX (Specifically experience) -- when it comes to re-envisioning the actal X part of a destop UI/UX -- so little vision is happening (it would seem -- Im sure there are a flurry of dark-web eastern EU Bulgarian Hackers (looking at you Ivo) that could pull off a better new idea given some attention from real TechBro Money)
Doom and Doom 2 Getting New Enhanced Versions with a Brand-New Episode and More
Not sure why this is downvoted but the sleep and dormant pico examples have quite some issues, they are still in "extras" and not in "core", so while documentation of features is my personal favorite aspect of the pico, there is room for improvement here still.
I don't follow Space Stuff as much as I'd like to, but one impression that I have always had is that there is _never_ a lack of stuff for astronauts to do up there. An astronaut's time and resources are just too damn expensive to have them up there just hanging out. Outside of their fairly limited personal leisure time, they have a strict down-to-the-minute schedule handed down to them by mission planners that they must follow if they want to keep their jobs past the next landing. Including when to sleep and when to eat.

(Of course, I assume the astronauts are allowed to request a change to their schedule if it's for a good reason.)

Common tasks include running tests and maintenance on the station itself and monitoring/performing various science experiments. Perhaps doing a few NASA PR bits, media interviews and short chats with school children over the radio.

I once read an article that said the vast majority of the actual work NASA does is "contingency" work that is never actually ends up being used. The problem is that while a mission is under development (or even well underway), you don't always know how things are going to shake out. So you hedge your bets by doing as much preparation and exploration of alternatives as you can, and try to pick the right one at the right time, or as the situation evolves.

I guarantee there are entire teams on the ground working _right this second_ on a draft schedule for keeping the two "extra" astronauts gainfully contributing to ISS activities, even though it's not certain that they will be there.
Sure. Although most of the tips I'm going to give you are just business tips. Being yourself is easy; being the most successful version of yourself is very hard.
I'm with you here -- ECS deploys are pretty painless and uncomplicated, but I can picture a few scenarios where this ends up being necessary, for ex; if they have a lot of services deployed on ECS and it ends up bloating the size of the Terraform state. That'd slow down plans and applies significantly, which makes sharding the Terraform state by literally cloning the configuration based on a template a lot safer.
These benchmarks are on Ampere, where FA3 has no performance benefits over FA2.

On Hopper, FlexAttention is currently about 80% of FlashAttention3's performance (about 500 TFLOPs peak)
Pimoroni has a range of products. Here is a generic batter management board with simultaneous charging: https://shop.pimoroni.com/products/lipo-amigo?variant=397793...

You can also get version to fit the Pico, or even a RP2040 based board with integrated battery management.
Also should let you disproportionately lay off working parents and people with long term health problems (who have higher healthcare costs on average) without technically running afoul of any laws.
I was hesitant to develop custom elements at first because I wanted to use just CSS classes and custom variables. However, in certain cases, the developer experience is a mess without using custom elements. About your question, yes, I would make custom element alternatives.
I just want a tool that collects and organizes everything I've ever written online.
Raw source code from Lions' Commentary on Unix 6th Edition
> I think, most people who want to be immortal are actually motivated by either the fear of death, or the desire to travel far and experience life in the future.

Good points. But I think another key motivation is the simple, banal Fear Of Missing Out. How dare human life on Planet Earth continue without me?

While (of course) I would like to live forever, it is not death I fear. Rather it is the process of dying that upsets me. I'm currently in a position where my mother and siblings seem to be in a race to the grave. My mum (age: 95) still has her mind, but her body has failed her badly over the past 10 years: every movement is an effort and a pain - she no longer leaves the house, though she absolutely refuses to become bed-bound. My brothers have fought, or are fighting, cancer. My sister had her second heart attack earlier this year; she still smokes - perhaps her understanding of things is better than ours? (FWIW, I have not yet discovered the means of my demise).

If extreme extended life includes endless pain and continual loss ... I don't think I'm as strong as my mother. My hope is one day I just forget to wake up, drift into oblivion dreamless. !Cogito, ergo !sum.

> Immortality itself does not compute. It just does not make sense. You are a product of your time.

I wrote a novel[1] about a once-human entity that was born some 6-7,000 years ago, and now exists as a sort of eternal mind parasite. I had to do a lot of thinking about how such entities would think about life, time, and death. As the story developed it turned out that my main character quite enjoyed experiencing life, didn't much worry about time, but in particular was fascinated by how people die - which, as a mind parasite, he could experience almost-first-hand.

[1] - https://rikverse2020.rikweb.org.uk/book/spintrap-the-lonely-...
It's in this post - https://www.raspberrypi.com/news/raspberry-pi-pico-2-our-new...
So generally speaking I don’t think extending life will take much resources once we figure out the biochemistry of it. If it does and that deprives others of their enjoyment of life, sure I get it, I will just work to make life extension cheaper. However frankly consumerism and an addiction to travel and tourism eats up a lot more resources than the research and production of high tech biotech etc.
If we end up with too much population, well I ask for nothing more than that my life is valued as much as the life of a baby, so long as I remain useful to society, don’t value someone’s right to have a child, more than my right to continue to live.
Cosmic Desktop Environment Review: System76 Promo Project or Gnome Alternative
This is a great comment. Another important distinction, I think, is that in the AlphaGo case there's no equivalent to the generalized predict next token pretraining that happens for LLMs (at least I don't think so, this is what I'm not sure of). For LLMs, RLHF teaches the model to be conversational, but the model has already learned language and how to talk like a human from the predict next token pretraining.
AT&T is another one and you’re seeing the same thing play out in the entertainment sector with Warner Bros. Discovery and Disney and one could argue Google is on the same path.

Financial engineering is a dead end in multiple industries but will continue unabated because of how the management employee lifecycle works — the people who run companies into the ground are long retired with their huge comp packages by the time the company is defunct.
Not tightly coupled to React. You can use it with our Vanilla JS SDK that works with any Javascript stack (https://www.npmjs.com/package/@frigade/js) using the `getCollections` function: https://docs.frigade.com/v2/sdk/js/frigade#getcollections
Related:

Raspberry Pi Pico 2, our new $5 microcontroller board, on sale now

https://news.ycombinator.com/item?id=41192341
One pertinent difference is that a web property may correlate your captured biometric data with whatever they get out of your connection, making entity resolution much easier and more valuable.

ELI5 when you visit online they have a handle on you.
I think it also kills morale while dismissing the fact that the majority of people don’t or can’t opt into finding a new job very easily. This leads to a slow culture death which affects sales much more IMO
So, the meaning of the deaths is the accomplishment of the mission. Why does the mission give meaning to money, but not to the deaths? Meaning is meaning.

Starliner may indeed not be worth deaths involved in its testing, but that would be because Starliner would not be worthwhile as a program at all.
How come this doesn't work on my Fedora Linux PC? If I try to ping 0.0.0.1 it just tries to ping 0.0.0.1 which doesn't respond as it doesn't exist.
Maybe its normal for a company this size, but I have a hard time following much of the decision making around these gigantic migrations or technology efforts because the decisions don't seem to come from any user or company need. There was a similar post from Figma earlier, I think around databases, that left me feeling the same.

For instance: they want to go to k8s because they want to use etcd/helm, which they can't on ECS? Why do you want to use etcd/helm? Is it really this important? Is there really no other way to achieve the goals of the company than exactly like that?

When a decision is founded on a desire of the user, its easy to validate that downstream decisions make sense. When a decision is founded on a technological desire, downstream decisions may make sense in the context of the technical desire, but do they make sense in the context of the user, still?

Either I don't understand organizations of this scale, or it is fundamentally difficult for organizations of this scale to identify and reason about valuable work.
A simple equation to approximate it is `memory_in_gb = parameters_in_billions * (bits/8)`

So at 32 bit full precision, 70 * (32 / 8) ~= 280GB

fp16, 70 * (16 / 8) ~= 140GB

8 bit, 70 * (8 / 8) ~= 70GB

4 bit, 70 * (4 / 8) ~= 35GB

However in things like llama.cpp quants sometimes it's mixed so some of the weights are Q5, some Q4, etc, so you usually want to take the higher number.
WFH has been normal for almost half a decade now. I changed jobs and stipulated remaining remote in that time, and I suspect my employer doesn't care. They have begun talking about RTO.

Here's the thing: it's not JUST inconvenient. It's a pay cut, full stop. I have to pay to commute, one way or the other, in both time and money. Acting like this only has to do with convenience is some real bootlicker shit
You can put your feet down, since they're barely on to begin with [1]. Meh.

[1] https://www.walmart.com/ip/SE3S-Airwheel-Smart-Rideable-Suit...
these same bastards get government money to build new factories and buildings. If you're taking handouts you shouldn't be allowed to cut workers just to boost the stock price.
> Larger package (60 or 80 pins)

I think the 60 pin version is the same size as RP2040.