skysight-inc/HackerNews huggingface dataset:
> I struggle to even describe the Wagenknecht party as left-wing despite her personal ideological origins.

I am in the middle of her book [1] and I have the same issue as well.

From what I understood: Her views are more weighted to what we call in English as "Labor Party" +_Entwicklungspolitik_ + _Gewerkschaft_ where she saw that the left went too far on the identity politics and ideological battles and lost ground to a big chunk of demographics in Germany (median white person, with the income between 22-42K EUR/year, working for industry or adjacencies).

For the internal politics me makes sense what she is doing - and I think why she will be over the 5% hurdle next election as well - but the issue that I see is on the external policy where she doubles down on the duality/dubious Germany foreign policy to make friends with everyone and not having a clear path in terms of partnerships and alliances.

Compared with 2010-12 where FDP and AfD has clear paths and ideological and political directions, the issue that I see with the BSW is that for now, it's a blank check that the voters are giving to her and once they are on the Parlament no one knows how the BSW will swings.

[1] - https://www.amazon.de/Die-Selbstgerechten-Gegenprogramm-Geme...
Show HN: Rank Anything – everything in the world, ranked best to worst
I can imagine the founder shout “Where we going we don’t need docs” whilst shoveling VC money into the steam engine.
I suppose it's relative, there were a lot of layoffs in 2023 and I'm not sure they would be looking for so many web developers?
A smart print() implementation may check if there's enough output buffer, and, if so, quickly return a Future which has already completed. A smart scheduler can notice that and not switch to another green thread.
Could you share a bit more about semantic chunking with Phi? Any recommendations/examples of prompts?
I love the idea of a "thought experiment language" - actually creating a working language is a big overhead, and its really fun to think about what an ideal language might look like.

The crazy thing with reading this and the comments, is that it seems like we all have been daydreaming about completely different versions of a "high level rust" and what that would look like. For me I'd just want a dynamic run time + simpler types (like "number" or a single string type), but it looks like other people have a completely different list.

Some of the additions here, like a gradual type system, I would really not want in a language. I love gradual type system for stuff like Python, Typescript and Elixir, but those are cases where there's already so much untyped code written. I would way prefer the guarantees of a fully static typed codebase from day one when that's an option.
If it’s managed well, certificate pinning takes the web PKI out of the implicit trust envelope for your app.

From a pure security perspective, why trust someone you don’t have to trust? The web PKI CA bundle is great for cases where it’s hard to have a unique trust root for your application - like you’re running in a browser with no privileges - but if you’re distributing code then you’ve already solved that problem.

Managed well, it should be completely transparent to users as well. Managed poorly and it can be catastrophic (your app is dead until users upgrade it).
Show HN: Binary Duel. A quiz game to show who's the real 10x
Together with a friend, we developed a WebApp to duel your friends on programming questions.
It even has matchmaking!
If I may ask: are you in a remote location?

Some employers claim to be remote-first but favor employees who are close to one of their physical offices.
It was reasonable for people to regard the Earth as flat so long as there was no good evidence to the contrary, but one would not call it a matter of consensus today just because some people might be unaware of the evidence, fail to understand it, ignore it, or choose to deny it without attempting to refute it. Alternatively, one were to insist that this means that it is still a matter of consensus, then that would amount to defining 'consensus' in a way that is useless for this discussion.

The bleaker truth about evidence, facts and politics is that people are arguing for a preferred outcome, and will, to a greater or lesser extent, simply turn to rationalization (sometimes of a quite irrational type) if the evidence does not support their preferred outcome.
How does this work when there is a limited context window. You do some pre-chunking?
That is probably the closest, especially if they add ownership. That was the rust inventor's original goal, not just safety at minimal performance cost. I think ownership should be a minimal requirement for any future language, and we should bolt it on to any that we can. Fine grained permissions for dependency trees as well. I like static types mostly because they let me code faster, not for correctness, strong types certainly help with that though. Jit makes static types have some of the same ergonomic problems as dynamic ones though. I think some sort of AGI enslaved to do type inference and annotate my code might be ok, and maybe it could solve ffi for complex types over the c abi while it is at it.
As someone with two cable modems sitting around gathering dust, this piqued my interest. Looks like this project never really took off though.
That's it. All problems solved by a week of smart work get zero recognition, because "it was an easy problem". But if you tender to the oracle's of the world, use teams of people, preferable switch sub contractor half way, it looks like a massive undertaking with the appropriate recognition. Corporate snakery is all about visibility.
The government can require that the lines must be available for rent to other power providers. Such that consumers can pick provider independently of whom builds or maintain the lines.
Leave your feedback or comments here, thanks a lot!
Cobol's argument was that it was easy to learn.

My argument was that a language that looked comprehensible might invite learning, which is not exactly the same thing.
That’s definitely a consideration: it increases the risk of failure but also increases the odds that you won’t be held accountable personally. One of the interesting dynamics here is that if they fail you, they have an extensive PR machine which will shop around excuses for the problems and help minimize them. If you do your own thing, the same people will tell their other marks that it was because you didn’t use them.

In the public sector, there’s often a political aspect as well - the senior management of the big consulting companies are far more likely to meet with the politicians than you, and even if you are certain that your decision is correct you have to ask what the odds are that their narrative will set the tone at a level you’re rarely asked to appear at.
While I understand the idea (there are nuances) I wonder if we treat things fairly. I have never measured gravity directly. I can notice effects which I know are attributed to gravity (things falling), but then again I can see effects attributed to human CO2 emissions (weather getting warmer and crazier).

The scientific concept of gravity (as I remember it from high school) involves two bodies and the distance between them. I can't measure that at all, so someone could claim gravity does not exist, but things fall because of some other reason.

What I think it's more important is the system's complexity. Describing gravity as "two objects, bigger one attracts smaller one" is simple. Climate system is very complex and even if you describe "CO2 (a transparent and 0.04% part of the atmosphere) causes a warming of couple of degrees" sounds harder to picture.
Because that would have a freezing effect: people would be so afraid of those late fees that they would prefer not to rent in the first place, because sometimes even with the best intentions you simply forget to return something on time.

So, setting the late fees is a delicate balancing act: you want them to be a bit scary, but no too scary to potential customers.
The main differences between the two threads:

This current thread has a bit more insights into German politics, and the other thread has insights from the perspective of US folks about how unacceptable it is to think from their cultural framework.
Wanda: A "concatenative" language that is not concatenative at all
You could ice skate on the canals in Amsterdam in 2018 late February early March (was there for a couple of days). The Earth is definitely warming, but ymmv with anecdotal evidence.
Does that take care of deleting the files inside the bucket? That's an API call ($). Depending on the data that could be quite a bit.
Back then (10 years ago?) standby consumed energy, if you left your laptop on standby mode for far too long you'd come back to see the battery dead and you lose all your work.

So hibernation was by far the best option to maintain a long-running desktop session. But these days standby mode consumes so little energy that hibernation is no longer needed in my honest opinion. Still the mindset remains.
Not sure if you are talking to me or not, but I couldn't agree more.
Probably not, more often than not you get a KPMG/Accenture or some one equally useless.
Putting Privacy Focused "Free Speech" VPS Providers to the Test
I don't think this article made a particularly good case for the questions it posed ("How could someone possibly be too intelligent? How do you get to a point where you realize you could have been more successful if you had been a little dumber?").

> 1. Very smart people can fool themselves with elaborate stories about why something happened.

I don't see how this relates with being smart. Anyone can "fool" themselves with elaborate stories that may be be true at all, or are just an incomplete piece of a bigger story.

> 2. Being very smart makes it harder to listen to people who are less credentialed than you, even when they might have the right answer.
I don't think so. Not listening to someone who is making a reasonable point because of credentials may indicate the opposite (lack of emotional intelligence). I have met plenty of people who don't listen to others, and I don't see a correlation with 'typical' intelligence.

> 3. Having an intellectual reputation to maintain can make it difficult to change your mind when you need to.
Again, I don't see how this related to being intelligent or not. Everyone is susceptible to shame and peer pressure, even if the degree of how much varies. I don't think you're smarter or dumber because I feel self-conscious about changing your public opinion on a subject. Although being able to do that, to me, is a good sign of emotional maturity.

Overall, I don't think people with those traits would be better off if they were "a little dumber". I don't understand why the article phrased it that way.
> Unfortunately, humanity's future is in the hands of <redacted>.

> <redacted>

> And they are doing a lot more than this.

I'm really curious who/what Elon was calling out here.
I am interested to see the results of this. I had Kagi but got rid of it due to the cost. The results were a little better overall, but asking Gemini or Bing gets me to the same place faster most of the time. If I have to search manually, independent of the search engine, I am going to have to open like 3-8 tabs to get my answer most of the time. The difference between having Kagi and not having it is a couple more mouse wheel scrolls and 2-3 more clicks most of the time.
I'm not sure what the surveillance has to do. I was responding to a comment saying that while the CCP cracks down on dissidents it does so mostly based on perceived "blast radius" (i.e. reach). I'm saying this selective enforcement is actually worse than if they just blindly enforced a specific ban.

If anything "spy on your neighbor" plays into what I said: you not only need to worry about getting on the bad side of the authority (i.e. those able to enforce the law against you) but of literally anyone else who might have it out for you. The legal basis for arresting people is just legalistic window dressing to create a pretense of law and justice.

This is, by the way, the biggest practical distinction between the authoritarianism of the Soviet Union and Nazi Germany: in peak Nazi Germany the police would just drag you off the street and throw you in a hole or shoot you for treason, in the Soviet Union the police would disappear you into a gulag but only after giving you an unwinnable mock trial where you would be put on record to confess (after torture if necessary or desired) to your treasonous counter-revolutionary beliefs. Because one followed purely from "might makes right" and the other tried to maintain a pretense of ideological principles and justice. Not that this mattered much to those on the receiving end - you'd still end up dead or imprisoned.
May include bundled offers has different emotional implications to me.
one of the other reasons global inference isn't used is because it causes weird spooky action at a distance - changing how something is used in one place will break other code.
My question (and maybe it is answered there but I don't want to read a full legal document to find it).

What exactly do they consider "costs"? Is it just the cost they pay an IP for data out or can it include maintenance, hardware, people, etc?

I am also curious if this will have any impact on the cost of services. Does AWS do any sort of thing where the higher egress costs offset the cost of services? Or ingress costs, or internal communication costs? Stuff that does cost AWS something to run in some form but could have been paid for by this.

It's a question I honestly don't know, so I am curious.
Doesn't seem very involved; for example (cilk inspired syntax):

let f = spawn { print() } // fork
...
wait f // join. f is a linear type

You only pay the complexity cost if you need it.
It sounds bad, but it is actually very pampered to belive one has a right to work with something that one is passionate about.
Reminds me of Dyon, a scripting language for Piston.

It's dynamically typed and uses lifetimes instead of a garbage collector.

https://github.com/PistonDevelopers/dyon/issues/173
I googled MIL-C-44072 and it popped right up.

http://everyspec.com/MIL-SPECS/MIL-SPECS-MIL-C/MIL-C-44072C_...
All the leaky Soyuz spacecraft have returned to earth at this point

The coolant leak: https://en.m.wikipedia.org/wiki/Soyuz_MS-22

The air leak: https://en.m.wikipedia.org/wiki/Soyuz_MS-09
Green tea maybe?
Power on-die is always an issue because many chips end up limited by thermal dissipation.
This post is a lame PR stunt, which will only add fuel to the fire. It tries to portray openAI as this great bennefactor and custodian of virtue:

> “As we get closer to building AI, it will make sense to start being less open. The Open in openAI means that everyone should benefit from the fruits of AI after its built, but it's totally OK to not share the science...”

> I've seen you (and Sam and other OpenAI people) doing a lot of interviews recently extolling the virtues of open sourcing AI, but (...) There are many good arguments as to why the approach you are taking is actually very dangerous and in fact may increase the risk to the world

How lucky are we that openAI, in its infinite wisdom, has decided to shield us from harm by locking away its source code! Truly, our digital salvation rests in the hands of corporate benevolence!

It also employs outdated internal communication (selectively) to depict the other party as a pitiful loser who failed to secure openAI control and is now bent on seeking revenge:

> As we discussed a for-profit structure in order to further the mission, Elon wanted us to merge with Tesla or he wanted full control.

> Elon understood the mission did not imply open-sourcing AGI. As Ilya told Elon: “As we get closer to building AI, it will make sense to start being less open. The Open in openAI means that everyone should benefit from the fruits of AI after its built, but it's totally OK to not share the science...”, to which Elon replied: “Yup”. [4]

If their case to defend against Elon's action relies on his "Yup"from 2016, and justifications for being able to compete with Google, it's not a strong one.
The benefit is that it won't readily show up on an audit like an iptables backdoor would.
B2C uses texting. Even if B uses email, C doesn't read it. And that is becoming just links to a webapp.

B2B probably still uses email, but that's terrible because of the phishing threat. Professional communication should use webapps plus notification pings which can be app notifications, emails, or SMS.

People to people at different organizations again fall back to texting as an informal channel.
Move to USA/Canada.
for anyone who doesn’t want to read the garbage that is the Guardian here’s the link to the scientists – https://www.nature.com/articles/s43017-023-00515-9
San Francisco voters support measures to compel drug treatment, expand policing
> The whole point is to play for time in the hopes that somebody comes up with a good idea for safety and we manage an actually aligned takeoff, at which point it's out of our hands anyways.

Given "aligned" means "in agreement with the moral system of the people running OpenAI" (or whatever company), an "aligned" GAI controlled by any private entity is a nightmare scenario for 99% of the world. If we are taking GAI seriously then they should not be allowed to build it at all. It represents an eternal tyranny of whatever they believe.
Agreed - my single biggest win for recruiters to show up in my inbox is to google search linkedin for the top result for the job role I am targeting, and then change my profile (in an honest way) to ape that as much as possible, pass rate is about top and bottom of funnel.
Don't feel bad about taking time to give yourself more energy in the long run. Go for a walk or jog. Do something you enjoy to help recharge your batteries.

If you plan to continue spending time on personal projects or CV, maybe change your scenery and go to a nice cafe or similar. Maybe coworking spaces or new environments will unlock opportunities to network in ways you haven't thought of.

Keep your mind focused on the end goal and consider each step a learning opportunity.

Also, take this time to do things you might not have had the time to do before: learn a new programming language or tech stack or write that blog post you've been sitting on; you never know what doors this type of thing could open for you.

Best of luck!
[This is a reference to Ignaz Semmelweis, a Hungarian medic who wanted doctors to wash their hands properly based on his observations of the difference between the outcomes for women giving birth who were cared for by midwives (who don't work with corpses) and medical students (who do). This is very slightly before modern germ theory is established, so the doctors who reject Semmelweis' suggestions aren't strictly rejecting known facts about the world - Semmelweis can't explain why it's important to do this, only that it will work (which it does).]
'Why don't we let companies compete to offer these benefits, and let people pay for what they want?'

That's what education vouchers do, and many Republicans do support them. For national defense there is a free rider problem -- the military would protect your country regardless of whether you individually "subscribed". The general answer to your question is that the federal government largely exists to transfer money to the poor and the elderly. Big taxpayers are not paying primarily for services but for such transfers.
What are the alternatives to audible?
We are not at the middle of this decade yet, but some climate indicators had a visible gap against previous years records since last year. If the next El Niño event is stronger than what it was in 2016 we might get around there before 2030.

Ice coverage sits in another positive feedback loop, as more (dark/heat absorbing) water is exposed compared with white ice, things become hotter, locally and globally. And the Arctic is one of the regions where the average of temperatures increased more.
throwaway.

we stopped hiring remote workers after experiencing massive amounts of employment fraud (multiple jobs, lying about who they were) and extremely low quality candidates despite good offers
Already came across her. She was very good.
> Dada is object-oriented, though not in a purist way

Are classes cool again?
Even web browsers can’t do FTP anymore which is crazy.
Print is a debug function in some languages, but it's usually just stdout. You can add all kinds of logging libraries that wrap around print() with prefixes and control sequences to add colours, but I generally don't bother with those myself. In those circumstances, I would use something like logger.debug() instead of plain print(), though.

I personally find myself using print debugging as a last resort when the debugger doesn't suffice.
You're right, I made a mistake there.

Day-to-day leadership is performed by Gwynne. Musk is founder, majority shareholder, CTO and CEO. According to Musk himself, he spends the majority of his time at SpaceX as engineer, letting Gwynne lead the company.
Curious if one could participate in good faith once, then impersonate from that point forward

Surely it could be untangled
The privacy, spam, signal to noise, and user experience equation is different for everyone. For me it's a good tradeoff since they (say) don't store your history and the ad profile Google builds on you is probably more damaging to your privacy than a photo of the entire contents of your wallet.
If your an out of work anything, why not consider other careers? Work is work and if nobody's paying for it, is it really work?
Huh, self-aware HN. Don't see that very often.
Simple thing that gets lost: someone adds very long comment on one line (maybe has word wrapping on); someone formats the comment to be on multiple lines; diff will be a mess even if there is no text difference in the actual comment.

One thing to investigate would be to include AST (abstract syntax tree) concepts in the source control or tools (although for comments might not solve the issue). Renaming a variable, moving a function around and other cases would be caught by an AST aware source control, but they are not today.
You have that issue without cryptocurrencies as well, you'd just be relying on the kindness of users rather than crypto incentives.

You always need a way to hold nodes accountable in a system like this, or it'll be rife with manipulation — because there's already a strong, innate incentive to manipulate results. Today, we call that industry "SEO".
I've heard that, but never seen an example*. If the type system complains of an issue in other code after a local change, doesn't that mean that the other code indeed needs updating (modulo false positives, which should be rarer with granular types).

Or is this about libraries and API compatibility?

* I have seen examples of spooky-action-at-a-distance where usage of a function changes its inferred type, but that goes away if functions are allowed to have union types, which is complicated but not impossible. See: https://github.com/microsoft/TypeScript/issues/15114
Sysadmin warstories: Sometimes the dam breaks even after plenty of warnings
> it is actually very pampered to belive one has a right to work with something that one is passionate about.

Everybody has the right to seek work that they are passionate about and they should do so even if it's tough. What would the work look like if nobody would be passionate about it? Maybe you have spent too much time in bad positions?
PwC and KPMG were appointed to help rectify problems with the system earlier this year, while the council had previously employed EY on the implementation.

I'm sure those three bandits lined their pockets nicely!
I don’t see how expecting a financial return is in conflict with the original mission statement. Of course the employees expect a financial return.
> Btw, if you have a reference to the creation of Datalog older than the one I linked to, please share it

1982 was as far as I got last time I went digging: https://news.ycombinator.com/item?id=34819400