skysight-inc/HackerNews huggingface dataset:
I’ve definitely noticed a type from top universities (not just MIT). It can come off as kinda in-your-face or confrontational or intense. I have some of the same tendencies, and have to rein it in because people really don’t like it—but it seems to be encouraged some places, they do it way more and harder than I ever have. It even throws me off (that part’s probably my midwesternness coming through)

My guess is part of it’s to do with a much higher proportion of students at top institutions (than at sub-top-1%) having attended prep schools that teach in small group discussion-based seminars rather than traditional classes. Changes how you converse, changes what you consider normal for interacting with your instructors and peers, carries over to the cultures that develop at universities they attend. Plus just everyone there being really driven to get good grades.

I also noticed watching online courses from top universities in a couple areas I’m fairly familiar with from having taken similar courses at a maybe-3rd-tier university, that the content and quality of the lectures was basically the same—the difference was entirely in how engaged the students were, and the kinds of guest lecturers they can pull in for a visit (“holy shit, I know that guy!”)
Get a sleep study for accuracy.

If your partner notices you snore or stop breathing when sleeping.

You can record yourself also. You wake with a headache and dry mouth almost daily.
You are making assertions about my character without knowing anything at all about me.

You don't have the knowledge to make such statements. And you shouldn't guess when making aspersions against a large number of peoples' character.
> Also congestion based pricing strategies have never reduced traffic anywhere they've been implemented

this is so fragrantly incorrect I don't even know how to respond

they absolutely have, including in London

please engage with some of the published research instead of just guessing
No, they're also a problem because you can run into a storefront and snatch the employee's authenticated tablet, regardless of what company policy is.
Excellently said.

I would love to see a regulatory world where experimentation outside of the high-end is more prolific. Even the constraints that were put on UAVs by the FAA have stifled that spirit in a real way.

Where is the hacker culture in aviation that we've been amazed by in the AI space? Even people doing cool things as small groups, like the black arrow guys, are just building in the same local minima.
It's another custom license. It will have to be reviewed by counsel at every company that's thinking about using it. Many will find the acceptable use policy to be vague, overly broad, and potentially damaging for the company.

Looking at the performance stats for this model, the risk of using any non-OSI licensed model over just using Mixtral or Mistral will (and IMO should be) too great for commercial purposes.
In my experience, architecture stays. A nice modular codebase (where you can switch-out the various models and have control on the minutia of the pipeline from data to model) brings a lot of value and can fairly easily be kept up-to-date with best practices.
EndeavourOS has been my daily driver for about 4 years - I'm a huge fan. A breeze to install, excellent community, and I like the QoL features/packages they've added.
It is true that you cannot simply repeat maxims others have declared and expect that the job gets done well. Our profession (like many, many others, if not all!) requires judgement to do the best job. Different situations may call for different decisions.
Ask HN: What errors are the most common when filling legal forms?
I am currently working with an accountant on my company's 2023 Federal tax, and we had a lot of back-and-forth because of typos and mistakes. After going back and forth a couple of times, I decided to use LLMs to review the forms, and to my surprise, it detected the company address being different between two different forms and a box that needed to be marked but was left unchecked.
I was impressed by the results, so I started building a solution for it - docuprecision.com. I am planning to start with taxes, but if you have experience with high-stakes forms (legal, taxes, or anything else), what forms and errors should I focus on initially?
This looks cool :). A while ago, I wrote something similar that analyzes bytecode and invalidates the cache if the bytecode changes.

https://github.com/andrewgazelka/smart-cache
> Also congestion based pricing strategies have never reduced traffic anywhere they've been implemented. Go ask London.

Wrong.

Source: I am a transport engineer. In London.
> I'd use AWS + ECR + ECS personally. Stay away from kubernetes until you have a fairly large deployment as it requires huge administrative overhead to keep it up to date and well managed and a lot of knowledge overhead.

> ...

> Also stay the hell away from anything which is not portable between cloud vendors.

But if your team happens to have Kubernetes expertise, I would say go for Kubernetes.

Anything after building container images will be somewhat cloud-specific regardless. And arguably it can be easier to hire infra/platform folks with Kubernetes skillsets later when you need to.
... except the distinction was being made in various forms long before Kahneman, and does get questioned. When you start to poke at it, what's intuitive starts to seem less so.

https://journals.sagepub.com/doi/full/10.1177/17456916124606...

(that's a link to a defense of dual process theories, but it makes clear there's increasing criticism of them)
I decided to build my blog and bought my domain just yesterday. Can you tell which theme you used for the blog. It looks pretty perfect for what I want for my use case.
They do, by buying things in Manhattan and paying an 8.8% sales tax. Now many of them won't.
For deletion, I think you can augment the current data structure so that instead of just storing each value, you pair it up with a Boolean telling whether the value is actually still included or not.

But you lose out on insertion and search efficiency; the worst case is dependent on the maximum number of values ever inserted, not the number of currently valid values.
Creating Workflows with the Pipedream REST API
Ukraine is using mobile phones on 6ft poles to stop drones [video]
that's correct. I really think ODEs are right balance but soldering was quite off putting at first. I was concerned about fumes.

End result is you have every single game released on that console playing on the physical hardware.

The next crazy step here would be mods you can do to connect online and play your retro games online somehow (maybe some crazy real time 2d/3d video game segmentation and AI enhancement to generate multiplayer hacked ROMs).

So many games yet so little friends to play with...
"I'll help you with my resources, for a stake in the company" should be illegal? Please explain?
seems the site is broken
For a relatively low cost (<$100K), Intel gets brand promotion and visibility, a viral marketing vehicle, a way to boost credibility with the audience (developers in this case), the potential to increase the perception of open source support, the opportunity to create community goodwill, etc.
The Undoing Project is a solid read about his life and work too.
It's very... jagged. Especially compared to the SF Mono I've been using.
Thats why you look at the cash flow part of the financial statement.
It is debated and debatable whether CFTC, SEC or neither has authority.

However insider trade is crime regardless, and and a criminal investigation can be done by police. See:

https://www.justice.gov/usao-sdny/pr/former-coinbase-insider...
So much for "return to office".
This was at least an innovation in the bitcoin community. Several assemble at home systems where you can build a physical manifestation of a secret. Metal cards you punch with a hammer and nail. Another is essentially a tube where you string along metal letters of the password.
Sure. If you run rolling releases, you get new bugs and new fixes as they come out.

If you run a stable distro, you get the same bugs for the whole release.

There's merit to both strategies. I use Debian on everything I can, but that's not necessarily what I'd recommend everybody use.
Ah, thanks for the correction, I wasn't aware.

I wonder how it compares to TPU and I really would love to know if the decision to switch is made by the engineers or the finance folks simply due to the credits.
That is why they say "Beauty lies in the eye of the beholder"
Databricks is trying to go all-in on convincing organizations they need to use in-house models, and therefore pay they to provide LLMOps.

They're so far into this that their CTO co-authored a borderline dishonest study which got a ton of traction last summer trying to discredit GPT-4: https://arxiv.org/pdf/2307.09009.pdf
If you're referring to the number of folks who work in the central business district of Manhattan but have no choice but to drive (given the enormous catchment area of MTA services), that number is vanishingly small, and congestion pricing does have low income discounts.

If you're referring to those who drive taxis or cars-for-hire in Manhattan, yes, the idea is the cost should be borne by riders who choose those services instead of transit.
Apple is unconcerned with the efficient allocation of capital. Hence their shell companies in Ireland.

Money spent on innovation is returned to the market efficiently, and ratchets science and technology forward across the marketplace.
Does valuation have any legal implications or is it just a number people can pat themselves on the back for until they can't? Genuine question, I don't know (but you can probably guess what I suspect)
> but working on a hypothetical web console written in Go has appeal.

Our console is written in TypeScript on the front end and Rust in the back end, as far as I know: I'm not aware of Go being a meaningful part of our stack (other than in dependencies, like CockroachDB).

> Is there a Canadian subsidiary or is it a contract employee kind of relationship (if you can comment!)?

I don't personally know the answer to this, being from the US :)
You have to be careful about your definition of "global state". We kind of have this definition based on C programs from the 1970s, but it doesn't always trivially translate into more modern architectures. BEAM programs (Erlang/Elixir) are basically microservice architectures by default. They lack global state in the sense that there is no way for process (in the BEAM sense, not the OS sense) A to reach into process B and directly manipulate the values. That is the form of isolation that BEAM and its accompanying languages offer. But for any network architecture to function, there's always going to be unique identifiers for the actors within the network, and that is intrinsically at a higher level than a single process. It doesn't have to be "global", in that two processes may have a different idea what it reaches if it asks for "leader", but it's certainly bigger than the single process. And yeah, there's not a lot that can be done about the fact that's going to be somewhat global, and if the identified network targets are not in the local OS process, intrinsically mutable in the sense that the state of those services can at the very least go down without notice.

In the modern world there are many useful definitions of "global state", some of which as I suggested may not even be "global" but may be in some scope that lives between "global" and "local", and depending on which definition you choose, various languages may have different "globalnesses" in their state.

(Another common example is, "does the language have global variables?" Many languages have the concept of "packages", that you can import once into the system, and everyone will see the same "print" package. That package may have variables, like for example maybe "print.default_format". Is that a global variable? Well, in the old C sense, maybe not. "default_format" can not be reached simply with "default_format" from all locations in the program, such that is globally defined. It can't be reached at all from places that did not import "print". But if what you're concerned about is whether changes made by one module are witnessed by all, they are, so from that sense it is a modern global variable, even if more nicely organized than traditional ones. There isn't a right or wrong answer here, it depends on the definition you choose which answer you get.)

In general, immutability at the value level does not automatically make things encapsulated. It more easily affords it, but it doesn't just happen.
Its working now but I changed places ... odd!
Fancy math, but this is still money that is reported, and accounted for in the earnings. So, it is the reality.
Your design is very friendly and approachable. I appreciate the attempt to take another swing at this problem. I've been using Teams for a year now, and they are trying to do some of this same stuff, but what they missed was the key of the composing experience, being too high-stakes. Like you point out:

> they’ve often overlooked the fact that writing a post has more friction than writing a chat message, which is why people often revert back to doing everything over chat

Anyway, you have a really good idea with the LLM generated title and TLDR. I worry about not having trust in an algorithmically ranked timeline, so you might want to make that feature optional, or do a top-level tab like they did on twitter. Or give users ability to influence the rankings.
That's quite an ask though - it means I'd finish at 8:30pm at the earliest every day which is completely impossible with children.
That's not much a Pharo or CL issue but a social issue: actual IT development, and for the last decades, have gone in a regressive path for commercial reasons and it's from enough from these systems and paradigms to have a nearly impossible to fill gap in between.

Personally I live digitally in Emacs, so I have some tooling for the present word, mostly hidden under Emacs or *nix system, but yes, it's still limited, less then Pharo since I can read my mails, org-attach my files and so on, but not integrate much more without all the modern integration issues of a an IT built to be isolated not integrated to sell programs before, services thereafter.

However I see a very slow and long trend: the more current IT evolve the more it tend back to the IT pioneer era, in the "modern past" all was widget-based GUIs, not even Microsoft recommend CLIs for certain works, most apps have WebUIs witch are limited DocUIs but with the same doc concept, NotebookUI are more and more widespread, here and there someone recommend LaTeX instead of WYSIWYG word processor, someone else recommend R instead of spreadsheets and so on. Perhaps in 50 years we will have Smalltalk, Lisp and so on again, at least at concept/paradigm level.
Wow, thank you for the comprehensive work.
Now THIS is news. Dogs are the best.
I really like "gullibility" as a way of explaining this limitation to people - both technical and non-technical alike. I think it's worth the anthropomorphizing risk.

See also https://simonwillison.net/2023/Apr/7/chatgpt-lies/
> I mean, how does an app in the 21st century not handle leap day?

We'll always have programmers that have less than 4 years experience programming and hadn't even considered leap days when programming "This should happen every last day of the month" or whatever.

One would think libraries would catch this one way or another, but some people are hellbent at doing things their own way and then... Well.
this can be using a test database for integration tests, etc.

at least it is in these situations I have had to consider the async setting.
According to INRIX, London is more congested than ever and it's so unpopular that 66% of residents voted against expanding the program and that very proposal is what sunk the Labour party in last year's by-elections.

Also London's public transit infrastructure is lightyears better than NYC's and way better managed. This whole pricing scheme is just to shore up the MTA which is massively wasteful with money and never gets any of its projects done on time (by decades).
It seems they could have made the same investment without the misrepresentation - or are you trying to say the misrepresentation itself is shrewd?
No, that code has no side effects. The implementation is free to produce whatever side effects it wants or needs as part of execution, but that is absolutely none of the compiler's business.
Reading a book, say 10 hours, is like a meditation on an idea: you get numerous examples of it and a variety ways of thinking about it.

Our brains learn best when they encounter something often across time (spaced repetition).

Reading a single tweet may summarize the book, but the chances of you recalling the idea in an appropriate situation is much lower than if you had spent hours on it.
It does give it the round number that OP was asking about.
public transit is good.
Seems like Simon passed away due to a plane crash: https://www.mirror.co.uk/news/uk-news/much-loved-dad-dies-af...

:( :( :(
Is Monero CPU mining profitable nowadays or does it need free energy to be?

Edit: I have a spare 5950x collecting dust
Warning and Confirmation: The Value of Plain Text I Should Have Known Better
If your kubernetes nodes are VMs then you can do both at the same time for different parts of your application.
> I would much prefer a multiplatform native toolkit as a first class citizen in Rust, versus all the ugly homegrown widget sets they use

That’s a design problem, not egui one. The reason UI went to shit is because no margin for creativity anymore, same design, same icons, same charts, same shit, I bet everyone in here can tell a site is using bootstrap css from the first 3 seconds..
Wasn't Check21 supposed to alleviate some of that?

Or, at least, that was "the new thing" when I worked as a bank teller for a summer job 15 years ago. I vaguely remember it being promised as a way to make transactions faster.
R.I.P a true genius.. hope people discover him now..
Rest in Peace, Ms. Kahneman. May strength be with your family and loved ones. Your Thinking Fast and Slow was an influential book.
oh the tragedy

I would be willing to wager that the increased sales / foot traffic from one fewer car trying to make its loud and carcinogenic way through manhattan is well worth the decreased foot traffic from that car's passenger(s)
Last time I tried an arch based "easy" installable distro it was a nightmare for me, this was probably 5 years ago. How likely am I to break my OS with EndeavourOS are there any things I should avoid? My interest in something like Arch is only in order to have access to more modern compilers and tools, as opposed to whatever is frozen in a Debian repo or whatever distro I'm using. I've been fine with POP but would like the flexibility that you get on Windows and Mac to use any version of a software.
I appreciate the progress, but I want to know when this actually kicks in. Seems like there's yet another vote
Congratulations on 10 years! I was a paid user for a few years, I left unhappy for multiple reasons. One of the final complaints is that getting your email out of their setup on to another provider is tedious and customer support is slow. The big email providers have poor service also though
CommitMono is my current favorite.
Okay. So you acknowledge that your approach will never solve the hard part of the halt/loop/paradox problem that your code hopes to solve. But instead of recognizing this as a fundamental limitation to your approach, you've gone on to create a new class of algorithm: lame. Do you suppose you can come up an algorithm to classify programs as halt/loop/paradox/lame in finite time?

Or, how about this one:

def foo(n):
if n <= 1:
return
elif n & 1:
return foo(n//3)
else:
return foo(n//2)

I can trivially prove this halts for all n. Can your code?
So this tunnel is so huge not because it needs to be huge for the flow needed, but because the tunnel doubles up as a storage reservoir?

Is that really the cheapest way to make a storage reservoir? Wouldn't it have been cheaper to have a regular size pipe, and some big tank at the end?
Source Code Pro Semibold 9px is my default

Looks better than anything else to my eyes on the terminal
> The toll will be $24 for small trucks and charter buses, and will rise to $36 for large trucks and tour buses

Still very acceptable for cargo.
This is nuclear levels of embarrassing...wow.
It would be illegal if Anthropic can't sell those AWS credits on the open market which I'm thinking they can't. You're equating this to a stock swap but that is not the case.
I'm confused why connecting a radio to the PC makes it more realistic?

Isn't drone control basically just 2 joysticks? I assume the modern simulators have got the physics down pretty well by now? But maybe not?

I just figure it's not easy to fly a non-self balancing drone in full manual mode, and I thought maybe practicing on a simulator to learn the basics first would be better than crashing and breaking things over and over right away.
Professionally I really appreciate this partnership. Its much easier for me to build on top of fully hosted AWS services than it is for me to build on 3rd party non-aws services.

Over the last year quality of available models have gone up while prices have come down significantly. Getting an email saying "Hey you can tell your boss that you're going to save hundreds of thousands on AWS costs" is great and it's been happening with surprising regularity from Bedrock.
https://programmingfonts.tumblr.com/
I was having problems breathing through my nose too. It led to snoring and I felt like a had a blocked nose more often than not. Other than forcing myself to breathe through my nose I also got one of those sinus rinse bottles and did some salt rinses.

It's made such a huge difference. After years of having a blocked nose I sometimes just take a moment to enjoy the fact I can breathe through my nose at last. I've also gone from being a snorer to a "very quiet sleeper" according to my girlfriend.
Or it is a reason to question the eugenic theory that DNA determines musicality.
Congestion charges have been implemented in many global cities, including London, Milan, Singapore, and Stockholm.

Many more cities have started severely restricting access to vehicles, turning many downtown areas that had previously been roads into pedestrian malls. Indeed, NYC has done this to many roads (parts of Fulton Street, Delancey Street, and both Broadway and Times Square).

Do you have any evidence that those schemes have resulted in lower sale tax revenue for those locations?
On the related subject of the vast amounts of money these LLM companies are both receiving as investments, and spending on training, there was an interesting concept mentioned by Dwarkesh in a teaser for an upcoming interview...

The current trajectory is that the size of these models, and number of FLOPs needed to train them, is growing much faster than the cost of compute is coming down. GPT-4 apparently cost around $100M to train, and it seems people are expecting that may quickly rise to $1B, and maybe then $10B for upcoming generations. I assume these numbers are based on projected 10x per generation increase in tokens processed during training.

So, with these kind of numbers, apparently there's a thought floating around that if they don't achieve AGI in next few model generations then that may stall AGI progress until different more efficient methods are developed. Private companies may be willing to spend $1B, then $10B to train more powerful models, but are likely to balk at $100B or above unless there's an obvious payback on the horizon.

Any sunken training costs may essentially be cumulative from one generation to the next, unless each generation can pay for itself. If we assume a new model every year, then can a $10B model pay for itself in a year before being replaced the next year by an even more expensive one?