🦞🌯 Lobster Roll

Thread

Sol-R is a CUDA/OpenCL-based realtime ray-tracer (github.com)
L 3 pts 0 comments by Yogthos Aug 20, 2018 graphics thread

Stories related to "Sol-R is a CUDA/OpenCL-based realtime ray-tracer" across the full archive.

Sol-R is a CUDA/OpenCL-based realtime ray-tracer (github.com)
L 3 pts 0 comments by Yogthos Aug 20, 2018 graphics Programming (General) thread
X402 based pay-as-you-go Twitter API and helius/solscan API for your OpenClaw (clawapis.com)
HN 2 pts 1 comments by SteveMoraco Mar 1, 2026 Programming (General) thread
pudb: A full-screen, console-based Python debugger (pypi.python.org)
L 3 pts 0 comments by inactive-user Sep 16, 2012 python Programming (General)Programming Languages / CS TheoryGaming / Retro Computing thread
KeyBox: Run a web-based SSH console (uses 2FA with FreeOTP or Google Authenticator) (github.com)
L 1 pts 0 comments by skavanagh Nov 22, 2014 devopsjavalinuxweb Web DevelopmentSystems / Low-Level / OSProgramming (General)Data / Databases / InfrastructureSecurity / PrivacyGaming / Retro Computing thread
Profanity - A console based XMPP client (profanity.im)
L 12 pts 0 comments by dh Feb 6, 2015 networking Data / Databases / InfrastructureGaming / Retro Computing thread
Minimal Solaris: Meet v9os, a minimalist illumos-based SPARC distro (alexeremin.blogspot.com)
L 9 pts 2 comments by inactive-user Jul 31, 2016 releaseunix Systems / Low-Level / OS thread
Guiding With Types, Property Based Testing and Dependency Resolution (blog.appliedcompscilab.com)
L 9 pts 0 comments by apy Sep 9, 2016 mlpracticesprogrammingtesting Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
DCompute: GPGPU with Native D for OpenCL and CUDA (dlang.org)
L 8 pts 0 comments by friendlysock Jul 17, 2017 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Studio is a minimalist GUI for solid modeling based on Guile Scheme (libfive.com)
L 29 pts 11 comments by Yogthos Jan 15, 2018 designprogramming Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Coriander: Compiler from CUDA to OpenCL (github.com)
L 2 pts 0 comments by sanxiyn Mar 8, 2018 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
PULP: Inner-process Isolation based on the Program Counter and Data Memory Address (arxiv.org)
L 3 pts 0 comments by fro May 7, 2018 pdfsecurity Programming (General)Security / Privacy thread
Newsboat: a console-based RSS/Atom feed reader (newsboat.org)
~ 6 pts 3 comments by unknown Aug 13, 2018 ~tech Internet / Digital Culture thread
Verification: Solver-based vs type theory/proof assistant-based
L 6 pts 4 comments by rs86 Dec 20, 2018 formalmethodsplt Programming Languages / CS Theory thread
For the folks into formal methods and PLT: I notice that while Idris, coq base verification on top of tactics and types, languages like f* and Whiley use solvers to verify pre- and post- conditions. Is this an important distinction in formal methods? What are the pros and cons of each approach?
Deep Learning in Clojure from Scratch to GPU: CUDA and OpenCL, Nvidia and AMD (dragan.rocks)
L 3 pts 0 comments by dragandj Feb 28, 2019 aiclojureprogramming AI / Machine LearningProgramming (General)Programming Languages / CS Theory thread
Deep Learning from Scratch to GPU - 8 - The Forward Pass (CUDA, OpenCL, Nvidia, AMD, Intel) (dragan.rocks)
L 3 pts 0 comments by dragandj Mar 20, 2019 aiclojureprogramming AI / Machine LearningProgramming (General)Programming Languages / CS Theory thread
Deep Learning from Scratch to GPU: The Backward Pass (CUDA, OpenCL, Nvidia, AMD, Intel) (dragan.rocks)
L 4 pts 0 comments by dragandj Mar 25, 2019 aiclojurelisp AI / Machine LearningProgramming Languages / CS Theory thread
Sony and Microsoft to explore strategic partnership, collaborate on new cloud-based solutions for gaming experiences and AI solutions (news.microsoft.com)
~ 9 pts 11 comments by unknown May 16, 2019 ~tech AI / Machine LearningInternet / Digital Culture thread
New Book | Numerical Linear Algebra for Programmers: An Interactive Tutorial with GPU, CUDA, OpenCL (aiprobook.com)
L 9 pts 0 comments by dragandj Jun 22, 2019 bookclojurejavamathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Army warns soldiers about 'incel' threat at Joker movie: Report (It's based on a tip from the FBI) (nationalinterest.org)
~ 7 pts 1 comments by unknown Sep 26, 2019 ~movies Culture / Philosophy / History / Reading thread
Reliably Erasing Data from Flash-Based Solid State Drives [2010] (cseweb.ucsd.edu)
L 3 pts 4 comments by mz Jan 25, 2020 pdfsecurityslides Security / Privacy thread
Just a nice summary of the issues with (in)secure deletion on SSDs. Old, but a good quick reference.
Repurposing Obsolete FPGA-based Products as Development Kits (youtube.com)
L 8 pts 1 comments by inactive-user Jul 17, 2020 hardwarevideo Maker / DIY / Hardware thread
[slides](https://lobste.rs/s/bprw37/repurposing_fpga_based_products_as)
sbv: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving 8.8 is released (github.com)
L 11 pts 0 comments by ondrej Sep 6, 2020 haskell Programming Languages / CS TheoryScience / Math / Physics thread
ARM: UK-based chip designer sold to Nvidia (bbc.co.uk)
~ 27 pts 11 comments by unknown Sep 14, 2020 ~tech Internet / Digital Culture thread
Xsolla fires 150 employees based on big data analysis of their activity (gameworldobserver.com)
~ 14 pts 3 comments by unknown Aug 9, 2021 ~finance Productivity / Career / Business thread
A primer on Nature Based Solutions to environmental hazards (worldlandscapearchitect.com)
~ 4 pts 1 comments by unknown Dec 22, 2021 ~enviro Science / Math / Physics thread
Diffrax: jax based differential equations solvers (docs.kidger.site)
L 2 pts 0 comments by mseri Feb 14, 2022 mathpython Programming (General)Science / Math / Physics thread
Don't let failures spread over your suite with process-based tests isolation (2020) (blog.cyplo.dev)
L 1 pts 0 comments by cyplo Apr 18, 2022 rusttesting Systems / Low-Level / OSProgramming (General) thread
Minicube64 is a fantasy console style emulator based on 6502 (aeriform.gitbook.io)
L 7 pts 2 comments by sknebel Sep 5, 2022 assemblygamesprogramming Systems / Low-Level / OSProgramming (General)Gaming / Retro Computing thread
dvdhrm/kmscon: Linux KMS/DRM based virtual Console Emulator (github.com)
L 5 pts 5 comments by amirouche Sep 7, 2022 graphicslinux Systems / Low-Level / OSGaming / Retro Computing thread
Solving a VM-based CTF challenge without solving it properly (gynvael.coldwind.pl)
L 6 pts 0 comments by crazyloglad Feb 5, 2023 security Security / Privacy thread