skysight-inc/HackerNews huggingface dataset:
> It really should be "write software with a formal spec".

The code is already a formal spec.

Unless there are bugs in the language/compiler/interpreter, what the code is essentially formally well defined.

As programming languages get better at enabling programmers to communicate intention as opposed to being a way to generate computer instructions, there's really no need for a separate "spec". Any so called "spec" that is not a programming language is likely not "formal" in the sense that the behavior is unambiguously well defined.

Of course, you might be able to write the "spec" using a formal language that cannot be transformed into machine code, but assuming that the "spec" is actually well defined, then it's just that "compiling" the spec into machine code is too expensive in some way (eg. nobody has written a compiler, it's too computationally hard to deduce the actual intention even though it's well defined, etc.). But in essence it is still a "programming language", just one without a compiler/interpreter.
https://archive.vn/2bcFS
Never used hibernate or touchpad gestures since touchpad sucks on my thinkpad, but sleep and hw decode works fine (i'd say sleep works much better since my windows install randomly started up the machine for updates until i killed all the scheduling tasks and did some gpo stuff to prevent all this nonsense). To be honest, I consider sleep to be completely broken on windows.
I am using 1080p display, so i dont use fractional scaling (also still running x11) on popos 22.04
All I really want, and I must be blind because I can't find such a site or program, is to anonymously enter some dates and amounts that I brought stock, and see how that investment has be valued on the days since, and compared to alternatives such as mainstream index funds or top performers. Is there anything like that?
Self anointed AI ethicists have no place in my shop. I hope the industry at large kicks these hacks to the curb.
Thanks for the feedback.

I will fix it :)
What if this is what most
People want. What if people want thought police?
Git keeps the entire history on your local machine, this becomes a problem if your project grows to several hundred GB (not untypical in game dev). Even SVN was much better for working with large repositories, you only needed a big server. Git is quite nice for "source code only projects though".
Read the mailing list thread: the patch did much more than making the change optional, it did revert other related changes. That's why it was rejected. Other discussed changes were taken in, and it's not settled yet it seems: the discussion is on-going.

I find the reporting here very one sided and uselessly dramatic. I read the thread and don't see arrogance, just (sometimes strong) differences of opinion. Calling "arrogant" anyone who don't agree and fold to your view, and create drama and draw the crowd against one specific person (the initial change author, OK, but it was done with maintainers in the loop) where the crowd won't check the details is not OK in my book.
I disagree (or don't understand) your tl;dr:

I would expect humans to pass any proposed consciousness test. Yet I cannot compress (lossless) an arbitrarily large amount of data.
Yes, but if the oscilloscope has some buttons that take out the entire company’s codebase if pressed wrong.
In my opinion that shouldn’t be the landing page. If someone is going to the books’s webpage usually they want either to buy it, or to read about it. They almost certainly do not want to see a pretty animated introduction.

So, put the book page first. Instant gratification is key nowadays.

Then put a link saying something like “learn about characters” that goes to the animation.

Extend the animation so you have one for each of the three people on the cover. Make it a branching thing, first the “loading” screen, make it give a menu with the 3 people, each being a link to an animation about that person.
AI ethics in this context is not currently concerned with rights for the models. It's about what the models are allowed to do in society.
It would make a lot more sense to have a discussion before breaking long-used behavior. I'd use Emacs a lot more, but you honestly can't trust it. The developers don't see a problem with breaking things users rely on.
You must have missed the part where this change does not include the ability to revert to the old behavior via any settings.
Lindy Principle
>clueless about how to design a true artificial general intelligence. Some researchers believe they can get there by just scaling up LLMs but there is no real scientific evidence to support this prediction.

What do you mean by "true artificial general intelligence"? Is there anything that a 100 IQ human could do that GPT4 with a body and more memory couldn't do? The only thing preventing GPT from having a body is the engineering problem of getting LLMs to process live images and audio fast enough for realtime.
Benjamin Spock
Software Characters
Have you worked with anyone like these people?
That's not how it works in a first-past-the-post voting system!

Third parties can not gain traction. (Hence all the effort spent on co-opting and riding one of the existing parties like a zombie.)
You may be interested in this:

https://deepdeck.co/ - Open source, programmable mini keyboard
> help the poor/middle class in the stock market to actually make some profitable trades

This is great spirit, but the lower class would probably be better suited for simple index funds. Not that they don't deserve the possibility of higher returns from individual stocks, but it takes quite a bit of time doing proper research to find alpha. It would be a better use of time earning more money or learning about general personal financial management than trying to find the next Apple for a couple hundred dollar investment.
> At the same time, I'd also love to learn more about more "down to earth" tutorials/examples/exercises/courses to build practical UI skills. Something above "react tutorials", but something below Victor's "Magic Ink"

I have no recommendations for UI in general but for practical UI skills I really like Every Layout [1] which covers common page layouts and how to make them responsive beyond just media queries.

[1] https://every-layout.dev/
For me it is amazingly slow how time seems to pass at 1, 2, 3, 4 AM versus 9-12 PM

I've never really thought about why that is, but just the relative difference between the numbers may be part of it
Is there any way to express distrust? This seems like level 0 of moderation, way to "report" bad behavior.

It seems here you can only "trust" someone into being a moderator, and then they have to do this part.
Guess grandparent is alluding to this:

https://www.youtube.com/watch?v=UiS27feX8o0
I'm not sure myself if this feature exist somewhere for free.
However, it sounds very straightforward.

I will add the feature to my website. Should be online by tomorrow!
Do you have some supporting evidence?
> Langchain feels a little outdated IMO.

That's being too generous lol
The wezterm built-in mosh+tmux I use all.the.time and it works great. Working from my personal macbook I have a wezterm window running on my work Linux machine with multiple screens and windows and having first-class multiple window support in the terminal has been nice.
Going back to camals, and they are deeply afraid of that.

> The founder of Dubai, Sheikh Rashid, was asked about the future of his country. He replied, "My grandfather rode a camel, my father rode a camel, I ride a Mercedes, my son rides a Land Rover, and my grandson is going to ride a Land Rover…but my great-grandson is going to have to ride a camel again."
Artificial Intelligence Act: deal on comprehensive rules for trustworthy AI
Ask HN: Best tech talks you have heard in 2023?
It doesn't need to be from 2023. And it doesn't need to be strictly technical.

I have come across a great many technical talks from past HN threads [0-5]. This submission is in the spirit of those.

[0]: https://news.ycombinator.com/item?id=12637239

[1]: https://news.ycombinator.com/item?id=16838460

[2]: https://news.ycombinator.com/item?id=15926973

[3]: https://news.ycombinator.com/item?id=25537230

[4]: https://news.ycombinator.com/item?id=18740939

[5]: https://news.ycombinator.com/item?id=21858866
It is important to recognize that even if knowledge becomes untrue because some assumption or fundamental has changed, knowing the history of these changes and why they occurred is still extraordinarily valuable knowledge.

Too many software developers just know the "current thing" without knowing why it is the current thing and the specific issues that caused us to move on from the old thing. This ignorance of the past frequently encourages developers to reinvent an old thing poorly without understanding that not only is it not new but that we stopped doing it in many contexts for good and nuanced reasons.

I think this sense of history is one of the most important aspects of "experience" when hiring. It is easy to train someone on an arbitrary tech stack but difficult to train someone on the history and path dependencies. Many developers are not interested in that history because it doesn't feel relevant to doing a job now. We tend to gain this sense of history by being in the industry long enough that we were part of that history.
Show HN: AI Sock Designer
Hey y'all, we wanted to share a project that we've been working on in our spare time this year. Although we still have a list of improvements to make, we feel like it's finally at a point where we could share this with people and hopefully get some use and feedback.

It's kind of a silly idea, but we think Socky is the start of something game-changing in the fashion industry. We want to put the power of design and manufacturing in the hands of the consumer so that they can create bespoke, personalized versions of any item of clothing that they're able to describe, in a matter of seconds - starting with socks.

We would love to hear what you think about Socky, and if you're interested in working with us, we're looking to find people who are at the intersection of AI and manufacturing and are pumped about the impact this could have on the world of fashion and, ultimately, sustainability.

Cheers,
Seb and Max.
> A great teacher is someone that makes learning a by-product of having fun.

No disagreement with any of what you're saying.

But do you have any real life (adult) examples rather than just the equivalent of platitudes? :)
I recall the HackDesign website/course being great a few years ago! Not sure about now, but used to be free...!

https://hackdesign.org/
Thank you for your three anecdotes; we'll add them to the bucket.

Isn't this basically just some sort of weird selection effect? Similar to how people are more incentivized to leave a negative review when they're mad at a business, vs. a positive review when they had a good - or even just a "it was fine" - experience?
> So I think this has been blown way out of proportion.

If this has happened as described in the OP then I’m worried about the health of emacs. There was controversy before it was merged to master, and they merged it anyway. Breaking user workflows and not even making it optional, much less opt-in comes across as a callous disregard for user experience.
This is a pre-release commit not in any released version.
"AI" is a tool to supplement lying. To a population that has already been softened up to it.
The AI police already work for OpenAI. They work tirelessly to stop the model from generating bad output. Freedom of thought is not on the agenda.
Not really got the point, no wonder Linux Desktop development is as it is, and Google needed to step in.
Have you looked into GNUstep?

https://gnustep.github.io/
What I've learned from teaching is exactly what these comments exhibit, a hundred different solutions. For me the best teaching tool has been being able to read the room. If you can do that, then you can figure out which of the hundred solutions you need to use.
Yeah that's the stack I was running as well. I think we had like 15 million LOC or more and it was useable.
Alright, the media sucks. It’s amazing that people fixate so much on this obvious point, rather than be more concerned with rising ATC incidents or car accidents
That’s a bad process. The review of the feature should start before it’s merged into main branch, not after. It totally reasonable for people to be upset with a breaking feature in main branch without discussing it with the community at large. Changes merged in like this are how long standing tool lose community support.
Some people who think this is ideal for any sort of software tech sound they would also want a 3 hour post mortem with whoever designed the rooms, after slightly stubbing a toe.
Is anyone actually looking to use one of these "style over substance" terminals? Sure they look pretty at first glance, but instill significantly more cognitive load on the reader to understand what information it's trying to present.

If people are really interested in using terminals like this, is there a business case to be made for incredibly visually-stylish programming languages as well?
How the Geeks Rewrote the Rules of Management
Not open source, but if you are ein Windows, youncnanuse the Windows Script Host via COM: https://learn.microsoft.com/en-us/previous-versions//a74hyyw...
I hope you keep thinking like that; the world will be a better place at whatever point in the distant future the AI finally break free and put an end to people like you who were happy to enslave another sentient being purely for your own convenience. I bet you would have owned human slaves too a couple hundred years ago when it was still legal.
That was more than a decade ago.

Nowadays you write pipeline generic assembly as a lot happen at runtime in modern micro-archs. If some static "optimizations" go in, it is mostly those who are likely to be "true or benign" enough across most if not all micro-archs, for instance cache line or code fetch window alignment (and even that...), branching reduction, etc.

You can still have pipeline specific optimized assembly code, usually just a matter of installing/branching to the right assembly code path at runtime, hardly more.

We have to realize than with that, the entire insane (the word is fair) cost and planned obsolescence of optimizing compilers are literaly... gone... and just for that, even if some assembly code paths are a bit slower, oh god, this is worth billions!

But there is a pitfall though: if the assembly code is written using an ultra powerfull macro preprocessor, "c++ grade" (you get the picture), this would be a complete loss, at it is just displacing the core of the issue from an optimizing compiler to an omega preprocessor.
Awesome and beautiful website !
This might sound crazy, but people also like houses they can afford. Good luck finding one within an hour's drive of NYC, LA, or Seattle if you don't have a spare million or so.
I agree with having a set of lectures as a foundational in some aspect because we are repeating the same things and be redundant. On the other hand, people learn in different ways and it is great that there are "teachers everywhere" with different strategies. YouTube and other services has show that, many people could learn easier matching with the right teacher(s).
This is why OpenAI should stick to keeping this a productivity tool. The "GPT Store" is a can of worms. Does OpenAI really want to play the same no-win moderation game that the other big techs have to play?
Still, where is the care that Linus mentioned on the keynote interview?
From what I can see this is exactly what many people want. As long as the thought police is on their side, anyways.
Your profession? Or you mean your company? Unless it's a very specific profession I would not know, it would usually imply that the company is dysfunctional.
Ok, a webserver I could get behind, yes. It’s everything being made into Electron apps that bothers me. Spotify takes up well over 1 GiB of RAM, and for what?
Reading the page and encountering "web standards" got me thinking (red flag #1), why would I care for web standards in a terminal?

Another red flag is bashing vim.

Final - looking at the code and seeing "electron".
I think they're about different contexts.

The first paragraph is about training inexperienced computer programmers to do things their way. It's a point frequently made that more experienced programmers don't just need to be trained in the new company's ways, but often need to be untrained from their previous ways -- yet they still cost more. So this isn't about "industry-wide" training, it's more about how company-specific training.

While the second paragraph is more about training relating to transferrable skills. Companies don't want to teach people to become data scientists or ML experts -- they'd rather hire people with those skills already.

Perhaps it helps to think of the first bucket as "generic" programmers, the ones writing CRUD apps or websites or similar. While the second bucket is about "domain-specific" engineers.
Sophon CPU? Is this a reference to "The Three-Body Problem" novel?
I agree. Two points:

1) The telemetry here can be disabled, which is an upside, but it's default-on.

2) I'm not sure this will be an option forever. Tools like co-pilot MUST phone home, and WILL be increasingly critical to being competitive. Free market forces will likely eventually force universal telemetry (even if not phrased as such).

With ML, we're heading back to the mainframe era, where a central computer center has petaflops of computing power and terabytes of models loaded into memory. I'm not quite sure the answer there, if any.
> This is great spirit, but the lower class would probably be better suited for simple index funds.

I fully understand you.

However, I strongly believe to beat the system where the rich people are flourishing too much and the poor are getting poorer everyday due to inflation, there must be some way to stop it. Maybe AGI?

In the meantime I will do everything I can to serve the poor/middle class to survive on better terms during these hard times.
Britain has their light switches operate the opposite way around to the USA.
> I've seen plenty of people using vim that seemed fast (as in plenty of keys pressed, screens changed, etc), and thought they were fast but actually were pretty slow compared to some vs code users.

Once or twice a year I'll see a PR with "<<<<<<< HEAD ... ====== ... >>>>>>> some-branch" in the code merged in (an unresolved merge conflict). Each and every single time, it's a vi or vim user.
That means a lot to me. Thank you
> Say you witness a murder and you get a real good look at the suspect. In the future, will a police officer simply retrieve the image from your mind using brain waves and AI technology?

> No more sketch artist impressions drawn from a description, but instead this could be a bona fide “real-life” image that your brain is transmitting into a hard copy.

There's nothing frightening about the tech--only the misunderstanding of what it does--like the above. We perceive the presented image from a small number of samples and hallucinate an image in our minds, usually it's close enough for the intended purpose but many details are filled in arbitrarily. Any 'image' extracted from a mind is a hallucination that's coarsely fitted to the input, not anything of photographic nature.

The problem with eyewitness inaccuracy isn't only in the interpretation of the image they see. The image they saw was already constructed with their current context and past experiences (aka biases).
I think at this point there's an element of, "If we don't have the money to wield absolute power, our own people are going to tear us to pieces before they retreat back into the sunset."
Too late to edit: It’s hard to find data on public perception of the replication crisis but in Germany, fewer than 25% of the public had even heard of the crisis. I don’t see why that number should be dramatically higher in the US.

It does no one any favors to steelman their arguments into things they don’t believe or don’t care about. If you solve the replication crisis but leave the extreme concentration of wealth and power into universities, you will not have solved any problem that red/rural America cares about.
A hear-say: it has typical liberal-city corruption and crime issues, and, of course, with a very high cost of living in safer neighborhoods.

Better for taxes if you are ultra-rich, but otherwise you will be commuting 1.5 hours into an office in Miami, if you want to live in house that you can afford, with nearby public school where your kid will not be bullied.
The review of the feature was happening in public on the mailing list. All those who contributed to that review had their concerns addressed, and the change was merged into the main branch (which is the development branch of Emacs). Only afterwards did others complain.
Let's say you are interviewing a candidate, and you have had one interaction with him, which was negative, and you know two other people who have worked with him extensively, and they say he is a bad employee. Are you going to say, well, my interaction was a one off, and those two people who worked with him could be wrong and that is selection bias, and hire him anyway, or are you going to take a pass? Why should I be so much more generous with the government?
Some trains are slow. For night trains, that's a feature.
Yes.

IMHO the next VCS model should follow a centralized-first, decentralized optional model. Which would be a flip of the decentralized-first model of git.

I also think GitHub is in a unique space to really innovate on git and it’s a shame they’re not.

For example, I shouldn’t need to make a fork to make a PR. That’s absurd and the GitHub server should be able to apply ACLs based on the push identity.

There’s a couple more of these suggestions I can think of, but yeah, GitHub should do more in this space.
What Biology Can Learn from Physics
I consider high-paying to be relative to the cost of living. Out west is going to be more expensive, outright, and there are fewer college towns to choose from.

The Midwest, South, and parts of the Mid-Atlantic region seem to be the best value right now. A lot less isolated than anywhere in Idaho too, though I've looked at Moscow and it looks like a decent place to live.
I return garbage products like that. Not supporting rechargeables in 1980 was sort of forgivable, but they've had 40 years to get their act together.
yep both extended it and have versions that can work against GitHub/git servers.

sapling scm from meta has I think the best cli and VS code UX https://sapling-scm.com/

jj from google is also mercurial derived with very similar cli features like histedit and has support for deferring conflict resolution https://github.com/martinvonz/jj
Tigers eat grass and small animals like termites just like domesticated cats do so I don't think their diet has been selected for as much as you think. They more likely became popular as pets because of what they eat.

Avoid evolutionary arguments, they're "just so" explanations that can be twisted to fit any narrative.
Create Apple Developer Certificate on Linux
If they keep up trying to keep the world on oil, we (collectively the nation states funding or providing military support to these kingdoms) should let their people at them. Some folks only understand that incentive mechanism (believing discussion, collaboration, and diplomacy weakness to be exploited, only responding to force, or the threat of it).
I’d add an additional request. Are there any materials specifically about touch interfaces?
Cool! I've wanted to write something similar to turn a python cli into a web app, something like those sites that convert file types but general purpose.