~lobsters | Bookmarks (1959)

ACF | ACF 6.3.8 Security Release

advancedcustomfields.com

ACF has made a routine update to patch a recently identified issue. Updates for WP Engine...
ACF has made a routine update to patch a recently identified issue. Updates for WP Engine hosting customers, ACF PRO users, and those free users who have already updated manually from our download site are working as normal. For those ACF users still relying on WordPress.org, we invite you to use our solution to ens...

security web
1
Can Logic Programming Be Liberated from Predicates and Backtracking?

uni-kiel.de

pdf plt
2
The optimised version of 7-Zip can't be built from source

pileofhacks.dev

programming
2
Dafny Standard Libraries

dafny.org

I am an engineer and I love Dafny. Why? Because Dafny is a programming language designed...
I am an engineer and I love Dafny. Why? Because Dafny is a programming language designed from the ground up to support expressing the behavior of code directly in the code itself. Dafny lets you precisely specify what it means to sort a sequence of values, not just as a giant comment on your sorting function you hop...

programming
1
Exploring Typst, a new typesetting system similar to LaTeX - jreyesr's blog

jreyesr.com

programming
2
Are MathJax and KaTeX competitors?

google.com

Skip to first unread messageunread,Apr 21, 2020, 7:20:51 PM4/21/20Sign in to reply to authorYou do not...
Skip to first unread messageunread,Apr 21, 2020, 7:20:51 PM4/21/20Sign in to reply to authorYou do not have permission to delete messages in this groupEither email addresses are anonymous for this group or you need the view member email addresses permission to view the original messageDo they compete in the same sp...

web
1
1 bug, $50,000+ in bounties, how Zendesk intentionally left a backdoor in hundreds of Fortune 500 companies

github.com

1 bug, $50,000+ in bounties, how Zendesk intentionally left a backdoor in hundreds of Fortune 500...
1 bug, $50,000+ in bounties, how Zendesk intentionally left a backdoor in hundreds of Fortune 500 companies

security web
3
The Road to OCIv2 Images: What's Wrong with Tar? | Cyphar

cyphar.com

aleksa aleksa sarai cyphar developer devops
1
blog/posts/2024-10-11.md at master · frankmcsherry/blog

github.com

databases rust
1
GitHub - mookums/zzz: A library for writing performant and reliable networked services.

github.com

zig
1
How I animate 3Blue1Brown | A Manim demo with Ben Sparks

youtu.be

education math python video
1
LLMs don’t do formal reasoning - and that is a HUGE problem

substack.com

ai
2
A Dictionary of Single-Letter Variable Names | Blog | jackkelly.name

jackkelly.name

Haskell’s expressive type system means that type signatures can carry a lot of information. Haskell’s polymorphism...
Haskell’s expressive type system means that type signatures can carry a lot of information. Haskell’s polymorphism means that you sometime write a function that works across an enormous range of types, and are often left wondering “what do I actually call my variables?”. It is often the case that there’s nothing to ...

haskell
1
The Ultimate Conditional Syntax | Proceedings of the ACM on Programming Languages

acm.org

Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and type-safe code,...
Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and type-safe code, especially appropriate for manipulating algebraic data types. Many features have been proposed to enhance the expressiveness of stock pattern-matching syntax, such as patter...

pattern matching plt syntax
2
Every bug/quirk of the Windows resource compiler (rc.exe), probably - ryanliptak.com

ryanliptak.com

fuzzing win32 windows zig
2
Rama on Clojure’s terms, and the magic of continuation-passing style

redplanetlabs.com

Rama is a platform with huge applicability, able to express all the computation and storage for...
Rama is a platform with huge applicability, able to express all the computation and storage for a backend at any scale. Just like the UNIX philosophy of composing simple programs to do more complex tasks, Rama is based on simple building blocks that compose for any backend use case. At the heart of Rama is its dataf...

clojure
2
The Value of Source Code

youtube.com

finance philosophy science & technology video
1
Testing the MSVC Compiler Backend - C++ Team Blog

microsoft.com

This post provides a behind-the-scenes look at how we test MSVC‘s backend, which is responsible for...
This post provides a behind-the-scenes look at how we test MSVC‘s backend, which is responsible for optimization and code generation. Many people worldwide use our compiler and expect it to provide a high-quality experience in terms of correctness (compiled code behaves as written), performance (speed of the compile...

compilers testing
1
Three Kinds Of Unwrap | zk

zkrising.com

rust
1
A modest proposal: C++ resyntaxed: ACM SIGPLAN Notices: Vol 31, No 11

acm.org

We describe an alternative syntactic binding for C++. This new binding includes a completely redesigned declaration/definition...
We describe an alternative syntactic binding for C++. This new binding includes a completely redesigned declaration/definition syntax for types, functions and objects, a simplified template syntax, and changes to several problematic operators and control structures. The resulting syntax is LALR(1) parsable and provi...

c++
1
Computer Organization E-book by Stephen Marz – Stephen Marz

utk.edu

assembly compsci
2
Coding without braces: An alternate C Syntax

deusinmachina.net

Photo by Lorenzo Herrera on UnsplashI recently stumbled upon an interesting piece of C language trivia...
Photo by Lorenzo Herrera on UnsplashI recently stumbled upon an interesting piece of C language trivia that underscores how different computers were when C was first created. Specifically, C allows the use of digraphs (two letter combinations that represent a single letter) like <% and %> as alternatives of { and } ...
1
Custom Dictionary Types in Pydantic

bryananthonio.com

A quick primer on leveraging custom root types for this task. June 19, 2024 In one...
A quick primer on leveraging custom root types for this task. June 19, 2024 In one of my projects at work, I wanted to define a custom dictionary type using Pydantic. The aim was to define the keys using an Enum class and values using a model type. It wasn’t obvious at first how to approach this task. But, after som...

a11y python
1
RFC 9635: Grant Negotiation and Authorization Protocol (GNAP)

rfc-editor.org

release security web
1