frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Structuring Arrays with Algebraic Shapes

https://dl.acm.org/doi/abs/10.1145/3736112.3736141
59•todsacerdoti•5h ago

Comments

iamdamian•3h ago
This looks pretty compelling to me. I've been itching for a math-friendly language that makes it easy to work with arrays, vectors, vector spaces, manifolds, etc., but takes advantage of static typing. (Haskell is amazing but doesn't quite make linear algebra constructs feel native.)

On first read, it looks like this is designed with a healthy balance between mathematical insight (relationship of product types and tuples, basis in lambda calculus) and real developer needs (e.g., static typic is nice; dependently typed systems can be too much; types are great, but "nameless shapes" are useful, too).

I'd love to see an implementation of this to play around with.

b0a04gl•3h ago
> naming axes gives semantic weight to array shapes, but it also introduces commitment. like in practice, array shapes mutate fast : reshape, squeeze, permute half these ops aren't semantic, they're just cleanup to fit the next layer. adding names to that doesn’t simplify, that adds bookkeeping.

> also naming means locking intent early. once you say 'this axis is time', every downstream op inherits that label, even if that dim gets folded or split.

it's tradeoffs only

mamcx•1h ago
Can't find a repo of this lang...

Is compelling to me because I'm in the hunt for marry array + relational (https://tablam.org)

bloaf•1h ago
This is great. For a long time I've had a gut feeling that there must exist a synthesis between pure functional, array, and data-oriented programming that gives you the best of all worlds:

Type safety, concise-to-the-point-of-terse code (with the types helping humans read it), and very high performance.

And this feels like a step in the right direction.

za3k•17m ago
High-level array combinators seem to ignore memory locality performance details, to me. It's all fine to say you can arbitrarily reorder array indicies in a mathematical sense, but any real program that does that needs to change a lot of things. Similarly, using variant types to index into combined arrays, splits up underlying memory locality and adds "if" branches. Type systems that obscure these details will result is poorly performing code.

That said if you're going to do it, this seems like a reasonable set of primitives to do it with. I'm not a huge performance nut, so I'd love to give it a try.

I'd like to see an implementation in a language with only fixed-stride arrays. I'm not an expert, does Rust do this?

Automated Discovery of High-Performance GPU Kernels with OpenEvolve

https://huggingface.co/blog/codelion/openevolve-gpu-kernel-discovery
1•codelion•47s ago•0 comments

Ask HN: A weird vesting term in not-USA country

1•ayjay_t•4m ago•0 comments

Show HN: A Comprehensive List of Top AI Image Tools

https://aiex.me/top-ai-image-tools
1•zack119•15m ago•0 comments

A Loved One Was Diagnosed with Dementia. Now What?

https://www.nytimes.com/2025/06/25/well/family/dementia-diagnosis-advice.html
1•whack•26m ago•0 comments

A Children's Book in a Happiness Program for College Students

https://childrensbookforall.org/activities/knc-college
1•chbkall•33m ago•1 comments

Rádio Starthits

https://stream-176.zeno.fm/k0fka0zkmxhvv?zt=eyJhbGciOiJIUzI1NiJ9.eyJzdHJlYW0iOiJrMGZrYTB6a214aHZ2IiwiaG9zdCI6InN0cmVhbS0xNzYuemVuby5mbSIsInJ0dGwiOjUsImp0aSI6ImVwcTdHRThjU3JHZzRLbVVzWC1uS0EiLCJpYXQiOjE3NDc4OTQ3MDcsImV4cCI6MTc0Nzg5NDc2N30.PxDtwuCbiFKQok1xoXA8dJxlUos2LKSIBLAeyWIxyDs
1•Starthits•34m ago•0 comments

OmniGen2

https://github.com/VectorSpaceLab/OmniGen2
1•handfuloflight•34m ago•0 comments

Apple's Other 'F1 the Movie' In-App Promotions

https://www.macrumors.com/2025/06/27/f1-the-movie-now-playing-in-theaters/
1•Bogdanp•37m ago•1 comments

Turn your raw ideas into actionable specifications

https://news.ycombinator.com/ask
1•normadia•40m ago•1 comments

Flow Match Statements

https://github.com/facebook/flow/blob/main/tests/match_exhaustive/basic.js
2•cod1r•42m ago•0 comments

Engineer Unlocks Hidden Photo in Power Mac ROM After 27 Years

https://digitrendz.blog/newswire/technology/21664/engineer-unlocks-hidden-photo-in-power-mac-rom-after-27-years/
1•cyberwaj•43m ago•1 comments

Food structure plays key role in which gut hormones are released

https://www.imperial.ac.uk/news/265333/food-structure-plays-role-which-hormones/
1•gmays•44m ago•0 comments

Scientists achieve shortest hard X-ray pulses to date

https://phys.org/news/2025-06-scientists-shortest-hard-ray-pulses.html
1•PaulHoule•48m ago•0 comments

Ask HN: What's the hardest/most interesting thing you've used AI to code?

1•ozb•53m ago•0 comments

It's Known as 'The List'–and It's a Secret File of AI Geniuses

https://www.wsj.com/tech/meta-ai-recruiting-mark-zuckerberg-openai-018ed7fc
3•sonabinu•53m ago•2 comments

Facebook is starting to feed its AI with private, unpublished photos

https://www.theverge.com/meta/694685/meta-ai-camera-roll
3•pier25•56m ago•0 comments

10 Myths of Scalable Parallel Languages, Part 3: New vs. Extended

https://chapel-lang.org/blog/posts/10myths-part3/
3•matt_d•1h ago•0 comments

Visible

https://visible.vc/
1•handfuloflight•1h ago•0 comments

VMware perpetual license holder receives audit letter from Broadcom

https://arstechnica.com/information-technology/2025/06/vmware-perpetual-license-holder-receives-audit-letter-from-broadcom/
1•hilux•1h ago•1 comments

Cross-Compiling Common Lisp for Windows

https://www.fosskers.ca/en/blog/cl-windows
5•todsacerdoti•1h ago•0 comments

Jane Austen's Boldest Novel Is Also Her Least Understood

https://www.nytimes.com/2025/06/27/books/review/jane-austen-mansfield-park.html
3•lermontov•1h ago•0 comments

Guidelines for buildable and testable code examples

https://pigweed.dev/docs/contributing/docs/examples.html
3•kaycebasques•1h ago•0 comments

Go is an 80/20 language

https://blog.kowalczyk.info/article/d-2025-06-26/go-is-8020-language.html
3•todsacerdoti•1h ago•0 comments

Converging AI and HPC: Design and Optimization of a CGRA Architecture [pdf]

https://cogarchworkshop.org/assets/papers/paper_3.pdf
3•matt_d•1h ago•0 comments

(Experiment) Colocating agent instructions with eng docs

https://technicalwriting.dev/ai/agents/colocate.html
1•kaycebasques•1h ago•0 comments

Multi-Stage Programming with Splice Variables

https://tsung-ju.org/icfp25/
5•matt_d•1h ago•0 comments

We need a censorship-resistant truth protocol – I have the idea, not the skills

2•PowerQuestion•1h ago•1 comments

When cars outsmart their drivers

https://www.carsandhorsepower.com/featured/when-cars-outsmarted-their-drivers
2•Anumbia•1h ago•0 comments

Meta is offering multi-mn pay for AI researchers,but not $100M signing bonuses

https://techcrunch.com/2025/06/27/meta-is-offering-multi-million-pay-for-ai-researchers-but-not-100m-signing-bonuses/
2•pranay01•1h ago•0 comments

How we made a Ruby method faster

https://nickholden.io/how-we-made-a-ruby-method-200x-faster
2•mooreds•1h ago•0 comments