lang_agnostic

4 ms·

1.
by lang_agnostic 1mo ago
I still fail to see what exactly is the issue that is being raised beside "watermarking bad" Watermarking is a new tool, it's useful. Are you a website aggregator with human review? watermark the content to reduce the workloa
2.
Generalised Tensors for Machine Learning in Idris(glaive-research.org)
2 points by lang_agnostic 8mo ago|0 comments
3.
by lang_agnostic 1y ago
How does removing excessive regulation help this scenario? In what you describe the difference would be that HSBC doesn't get fined and neither HSBC or Revolut does any check. How does that help?
4.
ACM Profits Considered Harmful(cacm.acm.org)
23 points by lang_agnostic 2y ago|1 comments
5.
by lang_agnostic 2y ago
Isn't this just phantom types in other programming languages?
6.
by lang_agnostic 3y ago
This isn't any trickery, this is a file format. One that actually avoid the uncontrollable computational photography done by default and actually changes the nature of the picture without the input of the user. This is helping conserve
7.
by lang_agnostic 3y ago
> We are now moving away from auto-focus and auto shutter speeds toward on-the-fly retouching, editing, of material by the camera This is a great point but it's not what the article is about. This is about bringing existing features
8.
by lang_agnostic 3y ago
Is this person actually asking for Monads and Higher Kinded Types? It would solve the problem they're raising but somehow I suspect that's now the solution they want to hear. And also the rust version would be quite hard to use du
9.
by lang_agnostic 3y ago
This asking GPT for inference needs to stop immediately before it becomes accepted and commonplace. This is almost the same as "I flipped a coin and the gods spoke to me"
10.
by lang_agnostic 4y ago
I'm quite surprised but how large and extensive this guide is. As someone who learned to drive in Europe I've always been extremely confused by the signage and road layout of American roads. There is a pretty big difference in qua
11.
by lang_agnostic 4y ago
You simultaneously make a great and stupid point. The stupid part is obvious: operations are allowed because writing programs is useful. Now for the great, nuanced and complicated point: How do we detect errors when manipulating floats whil
12.
by lang_agnostic 5y ago
Tokens of recognition aren't currency that you can use to buy redemption, I find this comment particularly ironic when this other article exists, perfectly capturing a symptom of the state of denial that the US find themselves in wrt t
13.
by lang_agnostic 5y ago
I need my answer was focused on runtime performance, thanks for pointing it out. However, They are related for two reasons: - idris is written in idris so any improvement in the language results in faster compile-times, if more things are a
14.
by lang_agnostic 5y ago
Yes. Multiplicity 0 removes the value from the runtime avoiding allocations and garbage collection. That particularly handy for type-level indices and type-level programs in general. Technically speaking multiplicity 1 (linear variable) can
15.
by lang_agnostic 5y ago
I reckon we can get the raw performance quite low, but it might be a challenging environment to program in, the ergonomics of programming linear types aren't figured out and it would involve a lot of memory management. While safe, reas
16.
by lang_agnostic 5y ago
Hi there, I'm a phd student working on Idris and I used to work with Edwin on this, if you want more info or want to see more practical applications of idris2, Dependent types, or QTT, here are a couple links: - idris2 is written in id
17.
by lang_agnostic 6y ago
Education?
18.
Programming Language UX(youtu.be)
1 points by lang_agnostic 7y ago|0 comments
19.
Nebula, a New YouTube Competitor(watchnebula.com)
3 points by lang_agnostic 7y ago|1 comments
20.
Reuse code with protocols in Swift(medium.com)
3 points by lang_agnostic 8y ago|0 comments
21.
Encoding datatypes in term of other datatypes and generalising their properties(youtube.com)
1 points by lang_agnostic 8y ago|0 comments
22.
by lang_agnostic 8y ago
No mention to earthquake or typhoons? I always thought the urbanization of Japan was mostly limited by natural conditions. Indeed, there is no point in making tall buildings if they are more likely to fall and cost more in repairs and anti-
23.
by lang_agnostic 8y ago
I assumed it was a man because of another gender bias: I don't know many women working at Intel so statistically its likely to be a man
24.
Why the new MacBook Pro is so contentious(medium.com)
2 points by lang_agnostic 9y ago|0 comments