injuly

5 ms·

1.
by injuly 3mo ago
Yes. You can either rent an entire blade, or purchase a dis-assembled box (majority share of the price will be GPU), and place it at a datacenter. This cannot be done on most premises because of power, noise, and cooling.
2.
by injuly 2y ago
Admirable effort :) But in its current state I don't think it actually replaces any of CodeQL's use cases. The most straight forward way to do what CodeQL does today, would to be implement a flow analysis IR (say CFG+CallGraph) on
3.
by injuly 2y ago
Flow analysis, especially propagation, is a hard problem to solve in the general case. IMO, the one tool that had the best, if language-specific, approach was Pyre – Facebook's type checker and static analyzer for Python.
4.
by injuly 2y ago
Ah, I'd only know the title, "all your base are belong to us", haha.
5.
by injuly 2y ago
Unfortunately, "JS tooling in JS" is a dead end. Countless people before me have tried, and I myself have written and maintained a (proprietary) JS toolchain that has caused a some trouble with users over the years. In the end, us
6.
by injuly 2y ago
> For great justice? You know what you doing. Not sure what to make of that. Can you elaborate?
7.
by injuly 2y ago
> which is as performant than using mutable array. I get what you're trying to say, but that is provably false. As great as the OCaml compiler is, it currently is not capable of the aggressive optimizations that GHC can do with list
8.
by injuly 2y ago
> This is calculation is pretty pointless and the title is flat out wrong. No, it's not. The author clearly states in the very first paragraph that this is the price it would take them to reproduce the results . Nowhere in the arti
9.
Functional languages should be so much better at mutation than they are(cohost.org)
140 points by injuly 2y ago|184 comments
10.
by injuly 2y ago
Well deserved. My top 3 Ted Chiang works: 1. The merchant at the alchemist's gate. 2. What's Expected of us 3. Exhalation
11.
LunarML – Standard ML compiler that produces Lua/JavaScript(github.com)
96 points by injuly 2y ago|24 comments
12.
Bend – Massively parallel high-level programming language(github.com)
9 points by injuly 2y ago|1 comments
13.
by injuly 2y ago
Qt licensing is its own mess. For commercial software, the pricing is 350-500$ per developer, per month. Seriously [1]. The company that now owns the framework doesn't seem to acknowledge the gap between big enterprises and solo develo
14.
Parabiosis(en.wikipedia.org)
1 points by injuly 2y ago|0 comments
15.
by injuly 2y ago
Interesting points. This isn't just about music, though. Udio can do standup skits too, and elevenlabs can already replace NPC dialogue voice actors in games and audiobook narrators. Smaller music producers who make intros for big yout
16.
by injuly 2y ago
I like how the comments in Devin's HN thread were all bleak and full of doom. But now that it's a different industry AI is eating up, we're congratuling the team and sharing generated songs. This looks like a fun tool, but wh
17.
by injuly 2y ago
Is the diary digital? I prefer writing on paper, and I'd like to try this. Wonder if there's any decent OCR app that'll help me do it.
18.
by injuly 2y ago
Well, Google does exist. For the overwhelming majority of internet users, it'll be their primary means of stumbling onto a website. And the pool of discoverable websites has been shrinking for years now. A tiny fraction of internet use
19.
by injuly 2y ago
Assuming those requests are evenly distributed over time, yes. But in the event of an attack you would see a sudden surge in requests followed by a flatline, and still end up at 1B/month over 30 days.
20.
by injuly 2y ago
Looks really useful. I can see myself using it.
21.
by injuly 3y ago
Amazing work. The code looks very neat too. I love projects that simplify software.
22.
by injuly 3y ago
Even though I don't share the same excitement about darklang, I love it when people are psyched about the projects they pour their lives into. I skimmed through the post, and it was fun to read. All the best to you!
23.
by injuly 3y ago
Oh, that was wild. Though to be fair, the human players had to rely on muscle memory to win lanes (CSing, blocking waves, pulling, trading hits, cutting waves, stacking, etc.); whereas the AI could perfect the timings down to the fraction o
24.
by injuly 3y ago
No search engine is immune to LLM generated mumbo jumbo. Google makes an exceptional example at being a terrible search eninge despite majority market share, but as AI continues to pollute the internet, all search engines will deteriorate.
25.
by injuly 3y ago
I do use uBlock Origin. It removes sponsored search results, but it won't do away with the poorly written articles just below. More importantly, not everyone uses an ad-blocker (especially mobile users). If installing a browser extensi
26.
by injuly 3y ago
That was good. I like the term "Degnerative AI". Adding it to my blog's footer.
27.
by injuly 3y ago
I'm not the best with words, but did you actually try that? I can't seem to get anything out of ChatGPT that isn't overly prosaic. If you did, I'd benefit from the prompt. Genuinely curious, don't mean to question y
28.
by injuly 3y ago
Love marginalia. It still has ways to go before it can become my daily driver, but I'm rooting for it.
29.
by injuly 3y ago
> This reads to me like a rant It was. I agree with most of what you said. > I don't even think communities retreating to Discord is a bad thing. I don't dislike discord myself, but don't like the fact that most of it c
30.
by injuly 3y ago
Good catch! I had originally written "travel plans"/"workout routine", but changed it to "movie reviews". If you try to plan a trip to Dubai with Google, the first 4 posts are sponsored. With workout routi

More ›