Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Laya the open source version of Jev(convaiinnovations.com ↗)
    51comments
  2. What Zig felt like, coming from Rust(besok.github.io ↗)
    3comments
  3. AI-generated posters don’t have to be horrible(john.hartnup.uk ↗)
    334comments
  4. Human brain is two separate organs, Stanford Medicine-led research finds(stanford.edu ↗)
    156comments
  5. Tin: full-text search for Postgres(planetscale.com ↗)
    3comments
  6. “The Secret Life of Circuits” is here(coredump.cx ↗)
    33comments
  7. A graphical desktop for the ZX Spectrum(github.com/mindbox77 ↗)
    2comments
  8. Android 17 is the first since 3.x to add new APIs without releasing to the AOSP(grapheneos.social ↗)
    511comments
  9. San Francisco Onion Futures Company(onionfutures.com ↗)
    91comments
  10. Black Holes or Black Hole Stars? Astronomers Spar over 'Little Red Dots'(quantamagazine.org ↗)
    1comments
  11. GPT-6 Astra Solves a WWI German Radio Cipher(prinzai.com ↗)
    117comments
  12. If math is more than proof, we need to better celebrate the rest of it(terrytao.wordpress.com ↗)
    154comments
  13. Asking Authors About Their Own Papers(medium.com/tmlrorg ↗)
    discuss
  14. Communication by means of modulated Johnson noise(pnas.org ↗)
    17comments
  15. Cloudflare Quick Tunnels(cloudflare.com ↗)
    296comments
  16. From Stonemasons to Carpenters(thelastsoftwareengineer.substack.com ↗)
    4comments
  17. How to Write with an LLM(sockpuppet.org ↗)
    355comments
  18. You can run Git on object storage if you re-make packfiles(tigrisdata.com ↗)
    22comments
  19. SDCC – Small Device C Compiler(sourceforge.net ↗)
    21comments
  20. Saving another 100TB of RAM(cloudflare.com ↗)
    86comments
  21. Science Is Open Software(jepedersen.dk ↗)
    46comments
  22. Why building a Rust LSP is hard(rust-glancer.github.io ↗)
    42comments
  23. NASA-IBM Lunar Foundation open-Source Geospatial AI Model(usra.edu ↗)
    5comments
  24. Ctenophores: Wonders of Biology(quantamagazine.org ↗)
    6comments
  25. How OpenAI Used Its Own LLMs to Design Its Jalapeño Chip(ieee.org ↗)
    111comments
  26. Ray Ozzie and the Optimism of Being Early(reproof.app ↗)
    4comments
  27. The first new cat species discovered in 100 years(nationalgeographic.com ↗)
    116comments
  28. OpenJev(openjev.com ↗)
    275comments
  29. Goroutine Leak Profiles(go.dev ↗)
    6comments
  30. Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash(cactuscompute.com ↗)
    89comments

Doug Lenat – I was positively impressed with Wolfram Alpha

80 pointsby 17y agosemanticuniverse.com
17 comments
17y agoHN ↗

Thanks for this.

Lenat's probably the best-positioned guy out there to back-infer some of alpha's design and limitations from a two-hour demo; this is the most informative summary I've seen.

17y agoHN ↗

Yes, his description is more on-the-money and bs-free than the other one's I've seen, particularly in describing the computational architecture of the system.

17y agoHN ↗

After this I am really looking forward to the public release. Go alpha!

17y agoHN ↗

If it's so impressive, then why does it need so much hype? Just release it already...

17y agoHN ↗

If this was your startup, would you be saying no to the publicity? There is such a thing as too much hype, but so far all I've seen is 1 blog post from wolfram, and 2 posts from people he showed it too. There is no need to begrudge the fact that its generating buzz. If it fails to live up to what the 'primary sources' are saying is another matter...

17y agoHN ↗

If this were another web2.0 startup, I would have no problem. But this is also research. It seems a bit strange to rave about a research project without letting people judge it for themselves.

17y agoHN ↗

Would you trust any of the answers returned by such a system? Or would you double check them on Google?

17y agoHN ↗

I'd hope so. Every time you get on a plane you're trusting the answers returned by Mathematica :-)

17y agoHN ↗

Probably MATLAB instead of Mathematica. Control Systems, Communication Systems, Structural Engineering, Engines, Vibration Analysis,... all within MATLAB's domain, right? Am I missing something?

17y agoHN ↗

MATLAB certainly is the leader in the field, but Mathematica does finite element, control systems, etc.

Anyway, the point is, when it comes to being "trusted" there are a lot of software companies and products who Google doesn't really compare to.

17y agoHN ↗

As any other engineer, I have used MATLAB quite a lot. Unfortunately I am not as familiarized with Mathematica. I thought Mathematica was mostly symbolic computation. I didn't know it did numerical computation (such as FEM) as well. Thanks for the info!

17y agoHN ↗

Anyone else feeling like this could turn out to be another Cuil? I'm afraid it won't live up to the initial hype and then everyone will lose trust/interest in it.

I do hope it's everything it claims to be though.

17y agoHN ↗

I'll be quite honest: I'm sure that Wolfram has made something truly, honestly amazing and perhaps even beautiful...to a geek. Much like one artist can appreciate the time and dedication required by another artist in creating a complex work, to the lay person it's still just random splotches of color.

In fact, reading this review I'm reminded of the article about Git and merge algorithms that was on the front page recently. In all likelihood, Alpha will be amazing at what it does, without anyone worrying whether what it does is what people want. Maybe people like Google because it's fast and reasonably accurate, and the human brain is still a really amazing filter once you narrow down the data set sufficiently.

17y agoHN ↗

Google sort of has a preprocessor that does stuff like this. Probably not as much as Wolfram.

You can see it when you search Google for things like:

"What time is it in Las Vegas" (notice that it knows, and it also knows that you probably mean Las Vegas NV but might mean NM, and that Las Vegas NM is smaller)

"MSFT" (e.g. a ticker)

"Who is the president of France"

"16 USD in GBP"

From the stories, it SOUNDS like Wolfram can answer a lot more of these kinds of queries than Google, which makes me think that the best way to use a technology like this is to sell it to Google to plug in as their pre-search pre-processor to replace the simple ones they've already developed.

17y agoHN ↗

Btw, there is now Mathematic Home Edition for only $300, with the same capabilities of the normal one, with one limitation - it can't be used in commercial setting.

17y agoHN ↗

Where is the Eurisko source code, Dr. Lenat?

Did it ever even exist?