HackerTrans
TopNewTrendsCommentsPastAskShowJobs

brzozowski

no profile record

Submissions

Continuation passing style, defunctionalization and associativity [video]

youtube.com
1 points·by brzozowski·5 anni fa·0 comments

Picard algorithm achieves State-of-the-Art performance for Text-to-SQL

elementai.com
7 points·by brzozowski·5 anni fa·2 comments

A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics

wolframphysics.org
2 points·by brzozowski·5 anni fa·0 comments

KotlinDL 0.2: Idiomatic Kotlin DSL for Deep Learning

blog.jetbrains.com
33 points·by brzozowski·5 anni fa·6 comments

A Dishonest, Indifferent, and Toxic Culture

huixiangvoice.medium.com
459 points·by brzozowski·5 anni fa·187 comments

An Introduction to Session Types

wen.works
1 points·by brzozowski·6 anni fa·0 comments

Egg: E-Graphs Good

egraphs-good.github.io
2 points·by brzozowski·6 anni fa·0 comments

JetBrains Compose

jetbrains.com
174 points·by brzozowski·6 anni fa·52 comments

Implicit Gradient Regularization

arxiv.org
2 points·by brzozowski·6 anni fa·0 comments

Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Model

arxiv.org
5 points·by brzozowski·6 anni fa·0 comments

comments

brzozowski
·anno scorso·discuss
> What I would like is a CPU with a highly parallel array of "worker cores" all addressing the same memory...

I too am very interested in this model. The Linux kernel supports up to 4,096 cores [1] on a single machine. In practice, you can rent a c7a.metal-48xl [2] instance on AWS EC2 with 192 vCPU cores. As for programming models, I personally find the Java Streams API [3] extremely versatile for many programming workloads. It effectively gives a linear speedup on serial streams for free (with some caveats). If you need something more sophisticated, you can look into OpenMP [4], an API for shared-memory parallelization.

I agree it is time for some new ideas in this space.

[1]: https://www.phoronix.com/news/Perf-Support-2048-To-4096-Core...

[2]: https://aws.amazon.com/ec2/instance-types/c7a/

[3]: https://docs.oracle.com/en/java/javase/24/docs/api/java.base...

[4]: https://docs.alliancecan.ca/wiki/OpenMP
brzozowski
·anno scorso·discuss
Wouldn't every Turing complete cellular automaton have this property? What would be an example of a nontrivial (i.e., sufficiently expressive) CA that is "predictable"?
brzozowski
·5 anni fa·discuss
I also experienced an irregular heartbeat for several months after receiving the Moderna vaccine (June, 2021) up to this month (December, 2021). It seems to be getting better, but is accompanied by a mild pain, tightness in the chest and shallow breath. This is despite regular diet, exercise and otherwise normal health. I am 31 years old.
brzozowski
·5 anni fa·discuss
There are many bizarre visualizations that are solely cosmetic and serve no purpose other than to attract the eyes. I've noticed the same pattern with many other videos churned out by popular science channels. The visual editing is delirious and the narration is devoid of much intellectual substance. Hard to pinpoint exactly what's wrong with it, it's just extremely bland and borderline uncanny valley.
brzozowski
·5 anni fa·discuss
The author frames this as a contest between two architectures: either spend a lot of effort building custom developer tools, or repurpose the compiler as a server for multiple clients. Both approaches have their tradeoffs: the first, as the author mentions, violates DRY [1]. The second violates the Unix philosophy [2].

However, there is a third way. Both developer tools and compilers can be seen as special cases of a much simpler and more general pattern known as a graph database [3, 4, 5].

[1]: https://en.wikipedia.org/wiki/Don%27t_repeat_yourself

[2]: https://en.wikipedia.org/wiki/Unix_philosophy

[3]: https://www.youtube.com/watch?v=WxyyJyB_Ssc

[4]: https://petevilter.me/post/datalog-typechecking/

[5]: https://arxiv.org/pdf/2004.03082.pdf
brzozowski
·6 anni fa·discuss
And when your surpassing creations find the answers you asked for, you can’t understand their analysis and you can’t verify their answers. You have to take their word on faith—Or you use information theory to flatten it for you, to squash the tesseract into two dimensions and the Klein bottle into three, to simplify reality and pray to whatever Gods survived the millennium that your honorable twisting of the truth hasn’t ruptured any of its load-bearing pylons. You hire people like me; the crossbred progeny of profilers and proof assistants and information theorists…

In formal settings you’d call me Synthesist.

—Peter Watts, Blindsight (2006)

[1]: https://www.rifters.com/real/Blindsight.htm
brzozowski
·6 anni fa·discuss
Space filling curves have some super important applications for indexing and information retrieval. I recently stumbled on an fascinating library called Uzaygezen for multidimensional Hilbert space filling curves. Extremely high quality code and documentation:

https://github.com/aioaneid/uzaygezen

https://opensource.googleblog.com/2008/08/uzaygezen-multi-di...