Abstract: We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves these goals through three key features: 1) a flexible symbolic representation...
I have the big SearXNG portal bookmarked ( https://searx.space/ ) but I don't find that I ever reach for it that often. Not being able to cull lower quality sites is just a little bit of extra toil I'm happy to pay to go away.
This is a useful take: I too will use LLMs for search-- but not for search for journal articles with data and evidence. LLMs too easily confabulate these.
LLM-as-search is fantastic when you want a no-bullshit statistical result for what you're looking for when you're wanting an overview or interactive tutorial.
Oh man, your demo gives me Hudsucker Proxy vibes ("You know, for kids!"). I'm going to have to watch it a couple of times to understand what pnk is doing here. My initial take is pnk is a DSL of bash functions that appear to be composing together Tkinter "primitives."
I’ve switched to paid search with Kagi. Best standard feature is I can tell Kagi to block w3schools, mediumDOTcom and stackoverflow from my search results.
SanDisk sells very pretty expensive plastic bricks that excel at disappointment and confusion (like when a USB flash drive decides to become permanently read-only).
[PLDI'23] Scallop: A Language for Neurosymbolic Programming ( www.youtube.com )
Abstract: We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves these goals through three key features: 1) a flexible symbolic representation...
IBM Buys HashiCorp To Control The Alternative To Red Hat Kubernetes ( www.nextplatform.com )
HashiCorp joins IBM to accelerate multi-cloud automation ( www.hashicorp.com )
cross-posted from: https://feddit.nu/post/4395688...
"No, seriously. All those things Google couldn't find anymore? Top of the search pile. Queries that generated pages of spam in Google results? Fucking pristine on Kagi – the right answers, over and over again." ( pluralistic.net )
To SIMD and beyond: Optimizing a simple comparison routine ( zig.news )
InspectorBoat uses godbolt to analyze a Zig comparison routine for SWAR (SIMD-within-a-register) vectorized operation.
research!rsc: The xz attack shell script ( research.swtch.com )
More investigations on the xz bash attack script.
DOJ finally posted that “embarrassing” court doc Google wanted to hide ( arstechnica.com )
SanDisk Extreme SSDs are “worthless,” multiple lawsuits against WD say ( arstechnica.com )
cross-posted from: yiffit.net/post/1251788...