agnishom

17 ms·

1. 241.▲
   by agnishom 1y ago

   You should write a "Solving LinkedIn Queens with Rust" post :)
2. 242.▲
   by agnishom 1y ago

   That's probably Ryan Berger. They have a Firefox extension: https://ryanberger.me/posts/queens/
3. 243.▲
   by agnishom 1y ago

   - with SAT (27 days ago, 1 comment) https://news.ycombinator.com/item?id=44115866
4. 244.▲
   Solving LinkedIn Queens Using Haskell(imiron.io)

   101 points by agnishom 1y ago|46 comments
5. 245.▲
   by agnishom 1y ago

   I really like duckduckgo for their bang commands.
6. 246.▲
   by agnishom 1y ago

   If there was an argument that proved such a thing, then it must distinguish between humans and 'artificial' intelligences. Can someone explain how they do so?
7. 247.▲
   by agnishom 1y ago

   > If you write equations in Word Equation Editor The experience is also awful. It's much better to write \in or \frac{}{} rather than to go to a dropdown menu and figure out which button to click.
8. 248.▲
   by agnishom 1y ago

   > implementing critical features in the closed source portion Like which critical features, for example?
9. 249.▲
   by agnishom 1y ago

   Congratulations to the author. I have to agree that Typst source generally looks a lot less uglier than LaTeX. I considered writing stuff in Typst many times, but I couldn't master the courage to do so.
10. 250.▲
    by agnishom 1y ago

    "It's also only decentralized as much as public email infrastructure is decentralized." That's already a lot more decentralized than most web services we use on a daily basis
11. 251.▲
    by agnishom 1y ago

    Fascinating. The blog claims to be dull, and I am sure it is: but, it is no different from 'influencer content' except that those come with audiovisuals.
12. 252.▲
    Cure Dolly's Japanese Grammar Lessons(kellenok.github.io)

    113 points by agnishom 1y ago|29 comments
13. 253.▲
    by agnishom 1y ago

    > Obsidian: An Org-Mode replacement? I doubt it. Obsidian is not open source, and the core is maintained by a small group of people, rather than a community. What happens when the company dies? That said, I am willing to have more faith
14. 254.▲
    by agnishom 1y ago

    There is no need to be snarky. Just because the present internet is not great at privacy doesn't mean we can't hope for a future internet which is better at privacy.
15. 255.▲
    by agnishom 1y ago

    This is a great example. Supposedly, you know something about this problem. If you use an LLM to craft a solution, that's probably fine since you'd know how well you did. I know nothing about this problem. I could use an LLM to de
16. 256.▲
    by agnishom 1y ago

    It's not just "guilt-by-association". It is a much worse reactionary general argument. It can be applied to any kind of moral problem to preserve the status quo. If this was a legitimate moral argument, we'd never make a
17. 257.▲
    by agnishom 1y ago

    I think the key premise here is that one can effectively and efficiently audit code that the LLM is producing. I doubt that. First, human attention and speed is very limited. Second, when I see something, I am already predisposed to assume
18. 258.▲
    Kanji Frequency(scriptin.github.io)

    2 points by agnishom 1y ago|0 comments
19. 259.▲
    Distraction Free Instagram(distractionfreeapps.com)

    1 points by agnishom 1y ago|0 comments
20. 260.▲
    by agnishom 1y ago

    I suggest installing a modded version of Instagram which disables the feed: https://distractionfreeapps.com/ Personally, I want to have the Instagram app on my phone so that I can send/receive dms to certain people
21. 261.▲
    Haskell Crash Course (2021)(isomorphism.xyz)

    6 points by agnishom 1y ago|0 comments
22. 262.▲
    by agnishom 1y ago

    Everyone should see the notes linked to on this page: https://www.cip.ifi.lmu.de/~grinberg/t/20f/mps.pdf They seem delightful
23. 263.▲
    by agnishom 1y ago

    I host this on my homeserver. Pretty nice app so far.
24. 264.▲
    by agnishom 1y ago

    This is a good time to check the 'Views' section of https://en.wikipedia.org/wiki/Pope_Leo_XIV#Views Some important bits: > he expressed sympathy for George Floyd and criticized U.S. immigration policies &
25. 265.▲
    by agnishom 1y ago

    How can it be "democratic AI" if the infrastructure is held privately?
26. 266.▲
    by agnishom 1y ago

    Thanks for pointing this out. Indeed, there are Indian universities (including the one I went to) which do not do this.
27. 267.▲
    How Indian Colleges Casually Violate Human Rights(isomorphism.xyz)

    28 points by agnishom 1y ago|12 comments
28. 268.▲
    by agnishom 1y ago

    I recently started using Hoarder for this; once Omnivore went down under... https://hoarder.app
29. 269.▲
    Moshe Vardi – Big Tech Needs Academia(cacm.acm.org)

    3 points by agnishom 1y ago|1 comments
30. 270.▲
    by agnishom 1y ago

    Thanks! I didn't know o4 was autoregressive!