skysight-inc/HackerNews huggingface dataset:
> integer based division is preferred in all languages

What does this even mean?

First of all, several languages have distinct "integer divison" and "floating point division" operators, so there's no sense in which integer is "preferred" in those languages, they're unrelated operations.

Even allowing for your ignorance of such languages many modern languages do not have untyped constants, they're an attractive nuisance. If you don't have untyped constants then even if you're relying on implicit typing for constants (which I also don't like) you trip a mistake in the original expression anyway which is now unalike.

This mistake only occurs in a language with all of:

1. A single division operator despite two distinct operations

2. Untyped constants

3. "Promotion" so that type mismatches just do something unexpected and compile anyway.
I completely understand the concept, I really do. I'm just struggling to work out where the original disagreement came from, I think it's completely my fault for not articulating myself properly, thank you for your patience. I'm going to annotate my original comment here with clarification on what I originally meant:

Because, while you always _should_ implement the proper escaping [in order to extract the information you need from CSV/TSV files that you have received from an external source that produces correctly-formatted CSV/TSV files], that takes [human effort]. Not a large amount of [human effort], but more than zero. In many cases [the data stored in CSV/TSV representation] doesn't contain commas or tabs, so you can [extract the data from the file] the super simple way [by implementing a naiive CSV/TSV-like parser that just happens to work for a subset of CSV files that don't contain escaping] and get back that time. [In doing this, you have extracted the information you need from the file, but you have not done the work to implement a real CSV/TSV parser. You have implemented a parser for a mystery format, misused it on a CSV/TSV file, but it happened to work and you got the data you needed]. There are more cases where data [in the CSV/TSV file you got from an external source] is tabless than commaless, so [if the external source happens to provide you a TSV file instead of a CSV file, this] affords you more opportunities to [be able to misuse use your TSV-like parser on the TSV file and still get the data you need, giving you a] quick and dirty timesave when you need [an immediate] solution [where you lack the time to get a real CSV/TSV parser and can tolerate the inherent lack of safety in using a CSV/TSV-like parser on a CSV/TSV].
Chrome OS should be available as an Android applications. Let me use either AR glasses or a next dock with my phone. Looks like Google might do this since they just enable display out on the Pixel 8.
> This paper has made the case for taking seriously the CTH [“cryptoterrestrial” hypothesis] as a potential explanation for UAP, while noting that it probably ranks lower than other hypotheses, such as the extraterrestrial explanation, although such calculations are hard to quantify.

Even the paper admits it's reaching.
I wonder what this means for Lacros (Chrome as a Wayland application compositing to Ash-Chrome). Would this just be using Surfaceflinger and the Android version of Chrome? Does this deprioritize regular Chrome for Linux?
No.

Qualcomm bought Nuvia not because they wanted the license Nuvia had, because that license was server-only, with a "don't compete with our stuff on mobile" carveout, but because they wanted the IP. The license that Qualcomm has is strictly better than what Nuvia had, and no-one wants the Nuvia license.
Cant you just forget decryption credentials during the investigation?
For a life partner, I looked for markers of maturity.

For some workers to make sure they do their job, they have to be in the office. Some workers can't do their job without using other people's time throughout the day. If you can work from home, there might be other responsibilities that you approach differently than other potential mates.
Try this:

let f0 = fun x -> (x, x) in
let f1 = fun y -> f0(f0 y) in
let f2 = fun y -> f1(f1 y) in
let f3 = fun y -> f2(f2 y) in
let f4 = fun y -> f3(f3 y) in
let f5 = fun y -> f4(f4 y) in
f5 (fun z -> z)

Lifted from https://dl.acm.org/doi/pdf/10.1145/96709.96748 via Pierce, Types And Programming Languages.
Oh you cannot actually view the raw embedding vector, only the corresponding row.

Any particular use-case to view the raw embedding?
Show HN: Compass Pro: AI trained on expert interviews
Hey HN! Philippe, Tyler, and Viet here. We're the cofounders of GetWhys, and we built Compass (https://www.getwhys.io/compass).

Our customers (incl. Docker, DocuSign, Typeform...) use Compass to answer difficult questions about B2B software. Things like:

- "How much does [vendor] charge for companies like mine? What should I do to implement it without messing up?"

- "How does my product stack up to the competition? What specific things should we prioritize on our roadmap?"

- "What pain points do my competitor's customers have? Where is my product superior? What should I tell my sellers to tell them?"

Over the past year, we've paid a small army of contractors to interview people who have bought, used, or implement B2B software. Compass uses RAG to pull from our interview transcript dataset, it produces insights you can't get from ChatGPT, Perplexity, or anywhere online.

We're still figuring out all the things you can do with Compass:

- Docker's SVP of Marketing used Compass for message testing ("I honestly can't believe this was generated by AI. The feedback on our positioning helped us significantly uplevel what we came up with").

- Yesterday, I (Philippe) gave a webinar with Marriott and NovoEd. Compass generated all of the data we talked about.

Compass Pro costs $99 a month, for unlimited insights, with no lock in. Here's a registration link that shows you a Navattic demo (pre-payment page), if you'd like to see it in action (https://app.getwhys.io/auth/register).

Candidly, I (Philippe) still have no idea what the best way is to describe Compass. But our customers love it. Looking forward to any feedback, questions, etc!
This is one of the best comments I’ve read on hn recently. Thank you!
Hybrid working has benefits over in-person working – the evidence mounts
What is it with Harvard these days?
Russia doesn't need to have territorial sovereignty over the Crimea.

The ideologues currently running Russia desire to have the Crimea for its symbolic significance -- as a means of projecting power, and of thumbing its nose at the West. And for their various internal narratives (Наш Крым and all that). Which gets a lot closer to the core issue of what the war is actually about.

It was never about Russia "needing" the Crimea in any meaningful sense. Any more than WW II was about Germany "needing" to annex the Danzig Corridor.
I think emotions play a significant role in intuition.
> The left wing media outlets would be pushing out articles and documentaries about how vaccine compliance is rooted in implicit white supremacy.

In 2013, 38% of Democrats and 22% of Republicans supported Obama's missile strikes on Syria. In 2017, 37% of Democrats and 86% of Republicans supported Trump's missile strikes on Syria.

https://nymag.com/intelligencer/2017/04/gop-voters-love-same...

The political parties aren't simplistic mirror images of each other. The Republicans are the ones that really flip mindlessly based on whoever is in power (and then once their guy is no longer in power -- like Bush -- they turn on him years later and forget they ever supported those policies at the time).
I'm curious, do you connect the contents of the e-ink tablet with obsidian or just use them separately?

I like using my iPad with the concept app for doodling but it is pretty much an info dump as finding anything again is a pain.
If you're reading this... yes, I posted about this a second time, because I did a horrible job of describing it the first time.
I can't speak for Singapore's specifics, but outright destroying evidence is often its own crime.
depends what you consider interesting and/or acceptable solution I suppose
> Merlin engines in the Falcon 9 are Kerosene Liquid Oxygen Gas generator engines

Still far more complicated than a pressure-fed engine.

The point of the comparison is in the benefits of SpaceX’s economies of scale. They’re building Raptor engines that are failing at a lower frequency than Boeing’s pressure-fed hyperbolic RCS.
> we’ll be embracing portions of the Android stack, like the Android Linux kernel and Android frameworks (...) for Chrome OS

Uhm, is there any plan to bring some openess to it so one can actually run python and do ML without using some alternative hack? How is the state of these things nowadays for chrome os? Haven't played with it in ages.
ML is not a net positive for the society, but not because some actor steal the labor of some other human.

- it's not net positive because they are proprietary systems trainable only at giant scale so OR humans still have open universities and public research centers who train models on open datasets or it's the definitive proprietary software even in FLOSS form because the model is trained behind the closed door of some enterprises;

- it's not a net positive because it's used to make money in scenario where the current state of tech is simply way behind the minimum needed to be ready for production and as a result we get more and more dysfunctional services;

- it's not a net positive because to do really not very much it consume an immense amount of resources and we need these resources on other stuff in the present, short and mid term.

Automation of any work is not a threat is a target all humans have, who want to need doing more stuff that can be done by some automation? Who want to manually wash clothes when we can use a washing machine? The point is that automation MUST BE OPEN not only to avoid https://ckrybus.com/static/papers/Bainbridge_1983_Automatica... but more important to grant control of automation for formal owners not to 4 big power and all are then practically their slaves as Industrie 4.0 essentially imply.
Verilog.
https://en.wikipedia.org/wiki/Verilog
Python real strength is the speed it can be taught, read and written.
The alternatives are even less charitable to the Swift creators.

Surely, early in the development someone noticed compile times were very slow for certain simple but realistic examples. (Alternatives: they didn't have users? They didn't provide a way to get their feedback? They didn't measure compile times?)

Then, surely they sat down considered whether they could improve compile times and at what cost, and determined that any improvement would come at the cost of requiring more explicit type annotations. (Alternatives: they couldn't do the analysis the author did? The author is wrong? They found other improvements, but never implemented them?)

Then, surely they made a decision that the philosophy of this project is to prioritize other aspects of the developer experience ahead of compile times, and memorialized that somewhere. (Alternatives: they made the opposite decision, but didn't act on it? They made that decision, but didn't record it and left it to each future developer to infer?)

The only path here that reflects well on the Swift team decision makers is the happy path. I mean, say what you like about the tenets of Swift, dude, at least it's an ethos.
There's a reason why some companies are using measures that feel very inhuman when they fire someone: it's because of people like the one from TFA.
Off topic, but I would like to hear your opinion on the impact of the AI progress on jobs, globally. Let’s assume, for simplicity, that GPT5 will actually be significantly better (eg similar improvement as what we had with 3.5 —> 4). And another assumption - it will be possible to put GPT5 level model into a humanoid robot, and train it to do a variety of basic physical tasks.

If we assume all that, and I realize it might not happen any time soon, same like with self driving cars progress, but *if* there’s strong and quick progress, what will happen to job market, unemployment, economy, and the society as a whole?
Want a job in AI? Check out these new AWS AI certifications
They = LLMs.

As I’ve interpreted it, they mean that LLMs and similar tech isn’t particularly helpful to theorem provers at the moment.
Hey!

Love the idea. I feel like videos like this for entrepreneurs can be a thing. I think you can even make them a bit longer and go a bit more in-depth into your thoughts, problems that you have been struggling with lately, solutions you found etc.

It reminded me of Sam Sulek's car talks where he is just rambling about whatever at the beginning of each video, and people seem to enjoy that kind of content.
Well said - more formally:

https://en.m.wikipedia.org/wiki/Closed-world_assumption

A fun question to cut through (or expose) intuitive/cultural heuristics: did atoms exist before they were discovered to exist?
I agree that there's a clear difference between hard and soft science fiction. But in my mind, it's "hard" science fiction if the world is entirely consistent with physical reality as we know it.
I'm curious what mythology has time travel? I can't think of any in Greek and Roman mythology. Celtic mythology doesn't seem to have time travel either, unless you count going forwards at different perceived speeds.
If it could be solved with a Math Overflow-post level of effort, even from Terence Tao, it isn't what I was talking about as "high level math".

I also am not surprised by "Consider a generation function" coming out of an LLM. I am talking about a system that could solve that problem, entirely, as doing high level math. A system that can emit "have you considered using wood?" is not a system that can build a house autonomously.

It especially won't seem all that useful next to the generation of AIs I anticipate to be coming which use LLMs as a component to understand the world but are not just big LLMs.
> His contract with NCS was terminated in October 2022 due to poor work performance and his official last date of employment was Nov 16, 2022

This is why you don't force employees or contractors to work through their final two weeks. Too little benefit, too much risk.

> After Kandula's contract was terminated and he arrived back in India, he used his laptop to gain unauthorised access to the system using the administrator login credentials. He did so on six occasions between Jan 6 and Jan 17, 2023.

Oh nevermind, it's far worse than just that!
FYI, if you hold down Super (win key) and left click-drag, you can move the window around on the screen, and middle click-drag can be used to resize.
Yeah, that does not surprise me. The apartment I stayed at in York was absolutely tiny. It was decent, and big enough for one person, and it was pretty cheap, so I'm not complaining really, but I've never seen an apartment that small in the US.

Also there was just no HVAC there to begin with, so I guess even less of an HVAC bill.
I think you're absolutely right. Intuition can be understood as a form of subconscious calculation.
Zig. I really enjoyed it and works well with WebAssembly. Definitively something I consider for low level while safe development.
Implementing Live Visitor Count Using Cloudflare Workers and Durable Objects
Your argument is treating the future as knowable and certain, while not accounting for the value of risk.

I guess you'll feel pretty bad if you pay for car insurance for 40 years, and never have a crash.

If the 100% upside is guaranteed, then sure, you should hang on.

But if "anything can happen" then cashing out 10% now, and providing a "can't fail" safety net, is well worth it. The reduction of risk of "losing it all" is well worth the 10% premium. And if the (somewhat unlikely) big exit ever happens you still have 90%.
They generally don't want them, and will do a big giveaway desk out front. Salvation army takes books too.
my mom had an alexa gizmo beside her chair, that was cycling through 4 kinds of ads followed by a random pic of one of her grandkids. Literally 80% ads. And she placed it beside the chair where she spends so many hours.

I said "but didn't we get you a digital picture frame?" and she said "this one can play music. sometimes I use that feature."

Really felt dystopian. She didn't mind at all. Although she appreciated when I spent 15 minutes digging in the settings and turning off every category of slideshow _except_ for pictures from her albums.
One of those awkward things where I don't like it, and wouldn't go back to nulls that blow up. But as far as being the right tool/accessible it ended up winning use cases where I expected scripting and Playgrounds to have mindshare
> I was curious about the lack of definitive evidence in this follow-up story.

The reporters followup story reports on 1) his own original story and 2) how other news shops 'customized' [ed] the original story.

1) He repeated the original story.

2) He said what the downstream stories said.

"Lack of definitive evidence" is not what this is.
I suspect so.

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

https://en.wikipedia.org/wiki/Human_rights_in_Singapore#Priv...
He moved back to Singapore, where he committed the crime.
I agree with this. Said more concisely, have a long term vision and an incremental path to get there. With each step or two, re-evaluate the long term vision. It may change, it may not. If it changes, update your incremental steps, if it doesn't you have more confident you're building the right thing.
> I would be more inclined to believe if you told me that pre-adolescent brain spends 25% of its computing capacity on figuring out how to improve its body and encoding it into genes instead of trusting some random mutation (likely error-corrected) to do the heavy lifting.

this is an argument from personal incredulity. just because you are too dumb to understand how something works doesn't mean that your fantasy/sci-fi version is accurate. brains changing genes belongs in a discussion of Neal Asher's polity, not in a biology discussion.
In my hometown in Germany there's a bakery that's been in basically continous operation since about the time Christopher Columbus set sail. Annoyingly modern web site, and of course in German: https://www.fidelisbaeck.de/
I think most people haven't used many languages that prioritize compilation speed (at least for native languages) and maybe don't appreciate how much it can help to have fast feedback loops. At least that's the feeling I get when I watch the debates about whether Go should add a bunch more static analysis or not--people argue like compilation speed doesn't matter at all, while _actually using Go_ has convinced me that a fast feedback loop is enormously valuable (although maybe I just have an attention disorder and everyone else can hold their focus for several minutes without clicking into HN, which is how I got here).
If the application crashes in the middle of a writing a transaction, yes. You can work around this if you care to, and I don't think it's anything specific to SQLite. What happens if your application crashes in the middle writing out a JSON file?

I had actually meant JOURNAL_MODE=DELETE, though. This would not technically use a WAL file, though there would be a rollback journal file that exists only for the duration of the transaction.
You can use your hands just fine. You just grab a screen on the edge and move it to where you want it to be. No need to touch the device or a controller.
How Methamphetamine Became a Key Part of Nazi Military Strategy (2020)
Baseload power producers ceased to be relevant decades ago. The nuclear industry has coopted the term because they know they can’t compete on cost.

With storage now coming online in large enough quantities to meaningfully affect the grid the window of opportunity for nuclear energy has passed. It had a chance if the reactors started in the 2000s had delivered on time and on budget. They did not deliver.

https://blog.gridstatus.io/caiso-batteries-apr-2024/
ChromeOS to Migrate to Android-Based Tech Stack
Yeah, this is just the proverbial rearranging of the deck chairs on the Titanic.

Medical debt like this shouldn't exist. Then it wouldn't be on any credit reports.
Both your points can be addressed by: It's not a choice between infer everything and infer nothing.
Sure. They may not believe you, though.

Related example: https://en.wikipedia.org/wiki/H._Beatty_Chadwick
The original dataset is located at [1] (not our HF account). HN data is directly available via the HN API [2]. The privacy policy you point to does not cover HN posts.

[1] https://huggingface.co/datasets/OpenPipe/hacker-news
[2] https://github.com/HackerNews/API
> What does this mean?

Fund buys stock at X and simultaneously solicits LPs at 1.2X (whether by straight mark-up or, more commonly, by adding management fees, research fees, expense reserves and carry.)

It’s why tenders have a few weeks between end of sellers submitting requests, confirmation of quantities and finally funding.
I turned off every ad setting they had and it would often end an answer with "by the way, did you know..." and then some Amazon promotion. I asked if it's raining, you don't need to tell me about an increase in Amazon Photo storage sizes. Especially given that it takes longer than answering my original question.

I got frustrated with that and tossed all my Alexas.
This was the biggest frustration for me. I knew the Latin names it showed me on the right, but I didn't know the English names for my guesses.
A working mathematician recently got GPT-4o to prove an (afaik) novel lemma while pursuing their research:

"My partner, who is mathematician, used ChatGPT last week for the first time to prove some lemmas for his research. He already suspected those lemmas were true and had some vague idea how to approach them, but he wasn't expert in this type of statement. This is the first time that he got correct and useful proofs out of the models.

[...]

These are the two lemmas. The first one is something that a collaborator of my partner noticed for small values of e in their computations. ChatGPT did not find the proof before being told to try Mobius functions.

https://chatgpt.com/share/9ee33e31-7cec-4847-92e4-eebb48d4ff...

The second looks a bit more standard to me, probably something that Mathematica would have been able to do as well. But perhaps that's just because I am more familiar with such formulas. Still, Mathematica doesn't give a nice derivation, so this is useful.

https://chatgpt.com/share/7335f11d-f7c0-4093-a761-1090a21579...

"
Those two problems are some of the largest we have at the moment. They screw everything up.

We should not optimize for a shitty existence.

I actually think making the problem worse is a good side-effect. The larger and more direct a problem is impacting us the greater impetus for fixing it.
Japan enacts law to promote competition in smartphone app stores
A self-described "hardcore capitalist" realises that a small class of ultra wealthy people monopolise the labor of the masses to the detriment of the many? I can't tell if this is satire or not. God I miss n-gate.com
I mean GitHub was literally built off of Git (GPL) and they had zero issues being acquired for $7.5billion.
But telepathy, as traditionally understood, isn't scientifically proven...
Sony Pictures Acquires Alamo Drafthouse Cinema
Doesn't matter if you use pen and paper, you'll still need those people:

https://c8.alamy.com/comp/B083YP/female-secretary-or-assista...