skysight-inc/HackerNews huggingface dataset:
That's the thing, the problem isn't written in formal logic. It's written in English, which is vague.
Dan was my masters advisor and he’s Canadian, they used the French “spelling” because it’s a French paper.
> can a board really be blamed for a corporate culture and technical failings

Who else is responsible for the DIRECTION of a company but the board of DIRECTORS?
Is there a link or copy of the conference paper or the PhD thesis?
EmacsConf
That interaction looks fine to me. It's just their automated bot response for newcomers, which they use with similar wording across all issues. While the thread was initially locked, it was probably a false positive and quickly reopened by a human.
Bad analogy since timbre has been part of the compositional process for decades now.
Show HN: Pointer – AI agent for Google Docs (like an intern working for you)
Hi HN,

I'm Rade, the developer behind Pointer — the first AI agent for Google Docs.

Have you ever tried copying text from ChatGPT into Google Docs and ended up with a formatting mess? I certainly have, and it was frustrating. The constant fixing of styles and formatting broke my workflow and wasted time.

That's why I built Pointer. Instead of juggling between ChatGPT and Google Docs, you can now give instructions right within your document. Pointer acts on your requests by typing out changes in real-time and adds comments explaining the reasoning behind each suggestion. You can approve or reject these changes as you see fit.

One of the technical challenges was creating a seamless experience that feels native to Google Docs. Under the hood, Pointer communicates with the OpenAI API to process your instructions and generate context-aware edits without disrupting your writing flow.

By eliminating the need to copy-paste and fix formatting issues, Pointer aims to make writing and editing more efficient and enjoyable. It's like having an intern who understands exactly what you need and implements it directly in your document.

I'd love for you to try it out and let me know if it improves your workflow. You can find Pointer on the Chrome Web Store.

Looking forward to your feedback and any questions you might have!
I'm genuinely perplexed by this, how is the puzzle even a puzzle if you don't judge it by formal logic?
Great post as expected (I'm a really big fan of Simon), but quick note lest others get prematurely excited, this is on an Apple laptop. Personally I run these models because I care about openness, so an Apple laptop is the last I'd buy. Good post though and worth a read as there's plenty of good stuff here for a non-Apple user.
Short thread at the time with some author comments https://news.ycombinator.com/item?id=17659799
FWIW, it's pretty straightforward to extract text from an HTML snippet without LLMs, I'm not actually sure if there's anything they'd do better than a simple HTML parser.
The idea of types that can only contain "approved" values is the point of sum types for error handling. You either get an error, or a valid value, and there is no way to manufacture a zero value of Username out of thin air.

If you don't have that, you're not really improving on `value, ok := foo()`.
Quick update that we got an overwhelming amount of applications and taking a pause while we review all of them so we don't keep new candidates hanging. Will update here if we reopen. Thanks!
Puzzles like this are to make more people interested in formal logic. The "gateway drug" of formal logic.

Just like the barber paradox isn't literally Russell's paradox, but it made more people to look up the history of it and perhaps learned what Russell's paradox is. Hopefully 0.1% of them turn out to be mathematicians.
I had the same reaction. I got hooked on Bright Sun FIlms and several of their other channels like Bright Sun Travels which do similar reviews, but always seem to give positive and negative feedback and are honest about resorts being a good deal or not. The majority of Bright Sun Films cover abandoned places which go into great detail about a resort's history and why a resort or property failed and what led to its downfall.

All of their stuff is incredibly well researched and have always seemed to me to be pretty objective; which is why I have avoided Nicholson's reviews - you already know its not going to be very objective.
Right. Some people will claim "all my hats are green" is equivalent to "I have no hats which are not green", so he ,must have one hat which is not green. But other people would argue that teh original statement also implies you have at least one hat, so the statement can still be a lie if he has no hats at all. Lewis Carrol explicitly endorses the second view in his book "The Game of Logic". Good luck trying to argue logic with Lewis Carrol.
I don’t follow. Can you elaborate?
What made JSON win was the ease of use from JS (= frontend).
Reducing CO₂ emissions with faster software
Locations of Former Nike Missile Sites
Yes, the one in which there is no word for blue.
This is not true at all. Just because you can force the logits to give syntactically valid outputs, doesn't mean you're going to get a useful result.

Constrained generation, without a proper understanding of the model's natural response tendencies, can give horrible results.
In many countries that'll be ~0/10.
Interesting; it might be time for me to load up a quantum simulator and star learning how to program these things.

I've pushed that off for a long time since I wasn't completely convinced that quantum computers actually worked, but I think I was wrong.
Everyone assumes the next generations of chips that run AI are going to be horrifically complex and require superhuman levels of talent to optimize.

What if they're wrong, and there's a much, much simpler architecture that could be found, that could scale almost infinitely, and make better use of Dennard scaling?
> it also makes the puzzle more fun.

No; it makes the puzzle illogical and thus about as much fun, for those who prefer logical outcomes, as discussing religion or politics.
It is not a democracy https://time.com/7020023/tunisia-kais-saied-democracy/
I struggled at the beginning and was almost certain I was one of the small percentage who can't see them, but after working on it for a while I managed to see them. Now I use them to relax my eyes with the parallel mode. I remember not being able to properly align the two images on a stereo microscope without pulling outward one of my eyelids (which in turn adjusts one eye). I did the same for the magic eye until I was able to see the stereoscopic image form, then I no longer needed to do that.
Israel's "presence" in US Congress?
>Radio Shack. Stop selling electronics components, and start targeting to the bigger market of cell phones. Have no competitive advantage over Best Buy or cell phones stores. Keel over.

I was a radio shack employee as a teen in the 90s, right before the pivot to cellphones started. I joined the Army and got the hell out of there right before the 1998 catalog came out, the one with the Sprint PCS partnership on the cover. I helped install and stock the Sprint furniture and signage.

At my store and every single store I was aware of, if they had not pivoted to cellphones they would have gone out of business in 2000.

By 1998 people no longer purchased computers at electronics stores. They either bought them from Gateway, out of PC Magazine or Computer Shopper, or from Walmart.

By 1998 people no longer bought CB radios from electronics stores. They no longer saw Optimus or Realistic scanners/AV receivers as desirable products. Throughout the 80s and early 90s the Japanese brands snuffed out the cheap Radio Shack brands.

By 1998 people hadn't purchased electronic components in volumes high enough to turn a profit (needed to pay wages, rent, and buy inventory) in 10-20 years.

Even in the late 90s, components were a vestigial organ, a money pit, a revenue black hole.

"But I used to buy capacito.." You were the exception.

You were the atypical customer.

You literally lost Radio Shack money and hastened the transformation every time you walked past the CD players and plasma spheres towards the back of the store where the components lived.
I haven't because what's described didn't really suit my needs. I can run my own daemon that will handle the integration with MQTT, and that's all I needed.
It was 15 years ago today that it was cancelled (https://web.archive.org/web/20100106162815/http://news.cnet....).

You need to remember that was during the financial crisis, and the first chips were going to be laughably bad and uncompetitive. From the quote in that article:

> Justin Rattner (Intel Senior Fellow) demonstrated Larrabee hitting one teraflop, which is great but you could walk across the street and buy an ATI graphics board for a few hundred dollars that would do five teraflops.

Intel had no chance for v0 to do anything but lose money. They were way off track, and spent most of the time trying to get to a software rasterizer plus hardware that could work for some games.

They did pivot Larrabee into the various Knight chips (Knights Corner, Landing and whatever else) since the "it's just x86" was a pretty compelling story in the 2009 era. But ultimately, HPC wasn't that great a market in the early 2010s for accelerators yet and NVIDIA ended up totally eating their lunch over time.

I think Intel could have stuck with the HPC market and gotten lucky once ML exploded, but realistically until about 5 years ago there wasn't that much ML spending yet either. 10 years of last place discrete GPU work would have been difficult to invest in.

tl;dr: the business case for Larrabee hinged on having a successful gaming business and it wasn't even close.
Is doom scrolling rotting our brains?
I tried porkbun after comments like yours when one of my domains needed renewal, but had to transfer out after one year when their payment gateway refused to work and was very poorly handling the situation while my domain risked expiration.

dynadot.com has been superior in my experience.
This is cool. I like the ongoing trend of TUIs getting more attention and use.

A little while ago I wrote my own little TUI tool using Textual that interfaces with Outlook using pywin32. I really only needed (need) one specific feature above and beyond what Outlook already does. And that is, I wanted a Vim-like UX for assigning categories to emails and archiving/deleting them. What I have now works surprisingly well and it's very satisfying to have made my own thing that suits my own needs precisely the way I want it to.
Strong/weak typing is very specific thing. It refers to the ability to create invalid types within a language. In strongly typed languages it is hard to defeat the type system. In weakly typed languages it is easy to defeat the type system.

Python is strongly typed (hard to escape the bounds of the type system) but (traditionally) dynamically typed (types are checked at runtime).

C is weakly typed (easy to escape the type system), but statically typed (types are checked at compile time).
That rationale makes sense, and pretty much aligns with what I mean by a visual marker.
I have been building an internal tools development and deployment platform [1]. It is built in Go, using Starlark for configuration and API business logic.

Starlark has been great to build with. You get the readability of having a simple subset of python, without python's dependency management challenges. It is easily extensible with plugin APIs. Concurrent API performance is great without the python async challenges.

One challenge wrt using Starlark as an general purpose embedded scripting language is that it does not support usual error handling features. There are no exceptions and no multi value return for error values, all errors result in an abort. This works for a config language, where a fail-fast behavior is good. But for a general purpose script, you need more fine grained error handling. Since I am using Starlark for API logic only, I came up with a user definable error handling behavior. This uses thread locals to keep track of error state [2], which might not work for more general purpose scripting use cases.

[1] https://github.com/claceio/clace

[2] https://clace.io/docs/plugins/overview/#automatic-error-hand...
Probably keeps their support burden lower. If your rooted Android 4.0 device can run a new enough browser, the browser might work well enough and it's on you if it doesn't. If they let you run the app, when it doesn't work, you're going to tie up their support lines.
A portable balloon integrated photovoltaic system deployed at low altitude
It's actually a good analogy. It doesn't mention "timbre" and doesn't claim that timpre is not part of the compositional process. A classical composer can indeed specify timbre to a certain degree, and modern composers created new kinds of scores which offered more specification means for many features related to "timbre", but there is still a difference between composing music, playing music or building instruments in formal musical education.
Yeah, I don't have a great perspective right now on what this looks like in non-Apple world.

The problem is always RAM. On Apple Silicon RAM is shared between CPU and GPU, which means a 64GB of RAM machine can run really big models with GPU acceleration.

On Windows/Linux machines you usually need to consider the VRAM available to your GPU. I haven't got a great feel for what kind of VRAM numbers are common for different consumer setups there, so I don't tend to write much about those.

Of course llama.cpp will happily run models on CPU as well, but again I don't have a great feel for how usable that is.
I found the plant. It's from Ikea. Likely quite common and visible in more than just Marcus Brownlee's youtube uploads.

https://www.ikea.com/ca/en/p/fejka-artificial-potted-plant-i...
I have been looking for something like this. Got a link to your project?
I guess the phone company is more likely to see if they reassigned it, but Skype might not need to notify them/might have stopped doing that at some point.
This is a fantastic resource. Super detailed, super practical, thanks for putting this up, Eugene! I learned a few things and love the practical engineering and stats angle on these assessments.
Aside from technical concerns, how do they think this move comes across? People value their privacy in many aspects of their life, even those who claim they have "nothing to hide". Window blinds aren't for keeping people from breaking in, not directly anyways. It's even worse when the reason for this breach of privacy is already psychologically risky. I would suppose that if the government is so competent, why not spy on bullies and bigots and stop the problem at its root? But society doesn't even really shun those people in the first place!
I've been using Deye since 2019. I was using those blue grid-tie inverters with limiters to do zero-export and they had the Deye manufacturers sticker on it. So I googled them, found them on Alibaba, and purchased some directly from them. I had no idea that they were related to Sol-Ark until later. Fortunately, I never trusted their dongle/cloud solution and so only ever plugged it in when I requested firmware updates from them.

I learned at some point that they were designed with Sol-Ark, and that Sol-Ark put pressure on them to stop selling to the U.S. market, and indeed they stopped selling to anyone directly in the U.S. I get Sol-Ark's position, but there are numerous people that bought them not even knowing the relation nor that they would be considered grey-market (since buying products direct from China is really common). Also, like pretty much everybody I know that screws around with this stuff, none of use would have paid for the Sol-Ark nor were we really aware of them because they so expensive anyways.

Even if this decision came purely from Deye, it's a direct result of Sol-Ark putting pressure on them to stop the sell of inverters into the U.S. market, and enough middle-men were getting around that, that they felt the need to do this.

Again, I get Sol-Ark's position, but it's just a really bad look for them. I think it's similar to certain media piracy: The people wouldn't have paid for it how you are offering it anyways, and all you're doing is making potential future customers hate you; It would certainly be more profitable to focus those resources on something else.
Original source thread on the front page https://news.ycombinator.com/item?id=42367649
> Trademarks are country-specific, not global like domains.

Domains are also subject to local law! For ccTLDs, it's usually that of the country in question; for gTLD, to my knowledge the US has effective jurisdiction (through ICANN) over at least some of the popular gTLDs such as .com and .net.

"Local law" in this case doesn't just include actual laws on the books, but also the risk and cost of getting sued by either a trademark holder or a non-trademark-infringing domain owner.

This is exactly the type of issue that people usually don't consider when picking a TLD, vanity or otherwise.
So one of the interesting comparisons between Quantum computing vs classical in the video: 5 mins vs 10^25 years. So are there any tradeoffs or specific cases in which the use cases for Quantum computing works or is this generic for "all" computing use cases? if later then this will change everything and would change the world.
And yet everyone here has come up with the right answer.
Why do you refuse?
Why not hopefully more? Less? Is mathematics this inaccessible to the other 99.9%?
It’s not so much that an inability to solve them means you’re deficient, as it is that an ability to solve them means you’re capable in ways most people aren’t. My wife is great at puzzles, and it’s always humbling to watch her sail through them.

I agree that puzzles alone shouldn’t e.g. determine whether you’re a good fit for a job, though. That’s one of the more annoying parts of software interviewing.
The end of the article notes "A liar is someone who only says false statements." I agree that this is quite different from the colloquial definition of a liar, someone who mixes truth and lies in order to mislead.
Every time this comes up people say they're not actually useful for ML. Is that true? And if not what would they be useful for
dock + fan + monitor already weights more than a laptop ..
[dupe]

Actual article: https://blog.google/technology/research/google-willow-quantu...

(https://news.ycombinator.com/item?id=42367649)
332M Google queries over 21 months
Scientific breakthrough gives new hope to building quantum computers
Traditional music didn't even have the concept of notes in the way modern music does. Of course as modern music was developing for hundreds of years, perhaps thousands, and as they did that they started taking common themes in traditional music and calling them notes, but real traditional musicians can't think of notes in the same was as modern music does.
Customising Pattern Matching Behaviour (In Python)
Postel's Law was a bad idea.

https://datatracker.ietf.org/doc/html/draft-thomson-postel-w...
No I didn't, it's already a widely known fact and it was even mentioned on Jeopardy! A week or two ago.

Edit: here's the Jeopardy! clip, everyone got the question right: https://youtube.com/watch?v=IJ6Ra54q3wA
It should be possible to do everything equivalently from any of the supported languages.

But unless you rewrite everyone else's code you may still have to acknowledge the languages you don't like.

Perhaps you'd prefer Lem?
https://github.com/lem-project/lem
Of ~200 books I've read, the few that stayed with me
Have you considered that they've thought of this?
Seriously.

This is company producing high end sliding table saws that cost tens of thousands.
They've been at it for over half a century.

This is not someone producing a 299 saw as cheaply as possible.

They are a German company (ie regulated heavily) and have a ridiculous number of safety standard certifications that test things like "what happens when there is dust"

do you really think they haven’t thought of the obvious basic issues and figure out what to do about them?

if so, what evidence do you have that this is true?

(Also I think you don't understand European requirements on dust extraction and allowed exposure to wood dust. This saw does not produce a meaningful anount of dust)
Oh, I see that /this/ Scotsman isn't true, either!

Waymo absolutely uses simulated multi-agent environments to improve their cars reliability; here's an example research artifact:
https://waymo.com/research/waymax/

I think you're deluding yourself about the progress in this area. There's an enormous amount of specialized work in bringing results from research to market. WayMo does that work, but it simply isn't worth doing for things like robot football or simple object manipulation. So you're simply not going to see a 1:1 alignment of 'pure' research teams and applications teams. That doesn't mean that the research work hasn't led to improvements in applications, though.
Study proposes a test for the Anthropic Principle
Another +1. I've found that it takes a lot of scans to get a solid representation of the tree, but I love the way they show you the quality of the scan (LEDs with well known positions are green, poorly are red, and mid is yellow). I think I had to do about 30 scans to get all of the lights I cared about, but I also put lights deep into the tree.

I wish there was a bit more customization. Particularly around the flashing effect. Also, oddly, the color settings are HSV, but they don't give you the V, so you can't get a clean grey color. I wanted dim white lights with sparkle flashes, but I haven't been able to make that happen.
It's still useful for young people or those who have never stopped to consider it. I think it's a good introduction to the warts of a context sensitive grammar
Nice. I like how HN now has AI summary bots.
Past H-1B Visa Policies Predict Donald Trump's Immigration Policy
There were some models in the past [1] that were extremely keen to produce chatty noise, even when you explicitly asked them not to.

Of course this was back in May 2023, so things might have improved since then.

[1] https://news.ycombinator.com/item?id=35964018
Shouldn't the "sonic boom" here provide good data as to the existence of dark matter (akin to the Bullet cluster)? Anyone on hn with good background care to comment? Don't see anything in the article about it, but would think is one of the most significant experimental goals from detecting these sorts of collisions.
Its for a very, very, very narrow set of algorithms AFAIUI.
Podcasts, meetups may help?

If you have the moolah, maybe get a booth at a local conference that is vaguely related?

Another common tactic would be to get someone to learn it as a part of a course
here:

https://webaudioconf.com/posts/2021_8/

the video is still there
That is a possible definition for strongly typed, yes. It is not widespread or generally agreed upon—you'll see plenty of people use them in ways that contradict your definitions, and you won't see any serious work attempting to define them at all. Even Wikipedia doesn't [0]:

> However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages. For this reason, writers who wish to write unambiguously about type systems often eschew the terms "strong typing" and "weak typing" in favor of specific expressions such as "type safety".

[0] https://en.m.wikipedia.org/wiki/Strong_and_weak_typing