Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
abstractcontrol
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
9 ms
·
31.
▲
by
abstractcontrol
3y ago
Considering the system only has a single H100, why would it be that performant?
32.
▲
by
abstractcontrol
3y ago
BoM?
33.
▲
by
abstractcontrol
3y ago
> Yet many startups and existing designers anticipated this demand correctly, years in advance, and they are all still kinda struggling. Nvidia is massively supply constrained. AI customers would be buying up MI250s, CS-2s, IPUs, Tenstor
34.
▲
by
abstractcontrol
3y ago
Thanks for posting this. Right now, I am grappling with RSI and I haven't been able to program for more than a few days in the past month. I am not even typing this, but using the Voice Access feature of Windows 11 in order to input th
35.
▲
by
abstractcontrol
3y ago
> It should be a big deal though. If they can get the manufacturing process for them worked out. I really do wish memristors turned out to be a success, HP hyped them so massively in the 2011-2015 era. What happened was that the material
36.
▲
by
abstractcontrol
3y ago
> The PRs are really good but there's no way to talk to the actual developer working behind those PRs. I'd really like an avenue to get into the US market as a remote worker, but am being unfairly treated by this job market. It
37.
▲
by
abstractcontrol
3y ago
'Autism' when applied as a slur to everything and everyone has grown to mean 'talent.' It is very rare to see it referred to the actual medical condition these days.
38.
▲
by
abstractcontrol
3y ago
https://deepai.org/publication/search-based-regular-expressi... Here is the full text. Regexps aren't even Turing complete as far as I know, if whatever they have in their paper works for arbitrary programs it wou
39.
▲
by
abstractcontrol
3y ago
They do that a lot, like what with GPT-2 being too dangerous to release. Anyone remember that. How many years ago was that?
40.
▲
by
abstractcontrol
3y ago
Location: Croatia Remote: Only Willing to relocate: No Technologies: .NET (F#) mainly, but also Typescript and Python Résumé/CV: https://docs.google.com/document/d/e/2PACX-1vTIQlCysV9y-w-PE... My story i
41.
▲
by
abstractcontrol
3y ago
Mojo is a language that thinks it will impress the Python programmers with its ability to implement matrix multiplies directly in it. I don't think it will be that easy, but it might replace Cython.
42.
▲
by
abstractcontrol
4y ago
It is a pity Concurrent ML didn't take off. F# has a great library called Hopac that implements it, but it is 50 times less popular than its closest competitor Rx. Also seconding that other post. Actor models and async concurrency are
43.
▲
by
abstractcontrol
4y ago
Another thing that could happen is a fundamental algorithmic advance to replace backprop. The brain doesn't use it, and backprop doesn't have answers for how to do long term credit assignment and continuous learning. It works poor
44.
▲
by
abstractcontrol
4y ago
If somebody else made a language similar to Spiral, I’d have been happy to use it instead of spending my time creating it.
45.
▲
Ask HN: How do I make my PL beneficial to the largest amount of people?
5 points
by
abstractcontrol
4y ago
|
3 comments
46.
▲
Show HN: PIM Programming in Spiral: Upmem Demo
(github.com)
1 points
by
abstractcontrol
4y ago
|
1 comments
47.
▲
PIM Programming in Spiral: Upmem Demo
(github.com)
1 points
by
abstractcontrol
4y ago
|
1 comments
48.
▲
by
abstractcontrol
4y ago
Here is a demo of a backend for a Process-In-Memory chip. It is a demonstration of Spiral's ability for heterogeneous programming. I want to do more backends for different kinds of devices, and posting this on HN to gauge the interest
49.
▲
by
abstractcontrol
4y ago
The whole point of programming is automation. Having a tool that would make programming much more efficient is not a failure condition for programmers.
50.
▲
by
abstractcontrol
4y ago
https://www.royalroad.com/fiction/57747/simulacrum-heavens-k... Let me plug my own, though it is not a short story. It is about a kid who is LARPing as an unaligned AI.
51.
▲
by
abstractcontrol
4y ago
https://knowm.org/oxide-memristors-have-shelf-life-problems/ Not related to the Aluminum Scandium Nitride memristors from the current paper, but this article I just found fascinating. I've been a stealth fan of me
52.
▲
by
abstractcontrol
6y ago
> "stack-allocating the closure" Regular function (not heap allocated closures) do not have a runtime footprint. Their body just gets tracked by the partial evaluator, but never manifests unless they are applied. Their variable
53.
▲
by
abstractcontrol
6y ago
The table came out so horrible, here is a pastebin post that shows it right: https://pastebin.com/G5vBt0cC
54.
▲
by
abstractcontrol
6y ago
If you have a function, there is a certain equivalence (in terms of compilation) where you can either allocate it as a closure at runtime or emulate the effect of that by just tracking it fully at compile time and inlining it a the site of
55.
▲
by
abstractcontrol
6y ago
Sorry, that Spiral is an entirely different language that has nothing to do with mine! The only reason I linked to it is because somebody in the Reddit PL sub thread brought my attention to it. The docs on the main page are what you want.
56.
▲
by
abstractcontrol
7y ago
Having been inspired by that video by Kevin Buzzard and finally finding something that would be worth formalizing, I am trying out Lean at the moment. I have about 2-3 months of Coq experience, so I can say that even without the quotient ty
57.
▲
by
abstractcontrol
8y ago
Your comment about the human eye made me curious about its design flaws. While I could not find anything about what Feynman said, this might be of interest to some. https://thehumanevolutionblog.com/2015/01/12/
58.
▲
by
abstractcontrol
8y ago
> JITing JavaScript turned out to be a lot easier than JITing Ruby and Python Why was this the case?
59.
▲
by
abstractcontrol
8y ago
> As a matter of fact, it's what the compiler devs keep recomending. I definitely agree with them in this matter. Macros might have a role in language development, but they should not be a stand in for compiler optimizations. For sa
60.
▲
by
abstractcontrol
8y ago
* Julia's type system can reflect on tuples just fine at both compile time and run time and we do so all the time. Then why do I nowhere see that actually being done? Reflection on tuples should be done much like pattern matching on li
More ›