Formal Verification of ZK Constraint Systems
By Morgan Thomas and Ventali Tan
GitHub - Sanakan8472/copy-dialog-lunar-lander: Play lunar lander in you windows file copy dialog
Play lunar lander in you windows file copy dialog. Contribute to Sanakan8472/copy-dialog-lunar-lander development by creating an account on GitHub.
All poverty is energy poverty
The world needs to use a lot more energy
How to setup a 404 catch-all route in Vue 3 - Zelig880
Learn how to use parameter with custom regex to implement a catch all route for your vue-router 4 and Vue 3.
James Stanley - Cheating at chess with a computer for my shoes
Sat 30 July 2022 Tagged: software, 3dprinting, chess, electronics
NLP endpoints: Haystack plus FastAPI
Learn how to set up an NLP endpoint using haystack and FastAPI
Against Alcohol
A review of ‘Drink?: The New Science of Alcohol and Your Health’
Top 10 skills every programmer should know
Most critical things you need to know for becoming a great programmer
Binance boute les stablecoins concurrents du $BUSD hors de son royaume
Ils ne vieillirons plus ensemble. Binance annonce que les stablecoins $USDC, $USDP et $TUSD disparaitront de la plateforme au profit du $BUSD
Open Source Authentication Solutions
Imagine you run a company and provide multiple web applications for your customers. In the beginning, you probably created a user table and the authentication methods yourself, but from the second application onwards, you will think about using already made op…
Livesite spikes ETW WPR Windows Performance Monitoring
An infrequent issue on many machines can disguise as a cluster-wide issue.
Building a 2.5 Gbps Load Balancer Server for $500 - Manish R Jain
I put together a build for a 2.5 Gbps server, which can run Nginx and act as a load balancer for my other servers. Here’s all the parts in
Artemis Quote
Millions of student loan accounts exposed in data breach
Over 2.5 million customers have had their details leaked
Adding color to bracket pairs
When dealing with deeply nested brackets in Visual Studio, it can be hard to figure out which brackets match and which do not. For people with color blindness or other optic maladies, the problem can be even worse. By color-coding bracket pairs,
RavenDB PHP Client beta is out
The official RavenDB Client for PHP is now out in beta. You can now make use of a rich client to consume RavenDB with all the usual features you would expect...
Getting user consent before executing sensitive code - Gérald Barré
In this post, I describe how to get user consent before executing sensitive action in a .NET application running on Windows.
Is there any meaningful way to compare two Time Travel Debugging positions?
They are basically in chronological order, subject to the uncertainty of multiprocessing.
Malware dev open-sources CodeRAT after being exposed
The source code of a remote access trojan (RAT) dubbed 'CodeRAT' has been leaked on GitHub after malware analysts confronted the developer about attacks that used the tool.
Why A4? – The Mathematical Beauty of Paper Size
Unless you have skipped a lot of school, or work, or both – or you live in the USA – you have probably used an A4 sheet of paper before now. Have you ever wondered …
Data generation and sampling strategies
Data Generation and Augmentation methods to train an effective machine learning WAF
Self-Hosted email is the hardest it's ever been, but also the easiest.
It's never been easier to self-host your email. It's never been harder to self host your email.
Custom Identity User Management in ASP.NET Core - Detailed Guide | Pro Code Guide
We will build an ASP.NET Core MVC application with custom user management in ASP.NET Core to better understand the concepts of Identity & custom user profile implementation
Any() vs Count() in .NET: Which One is Better? - Code Maze
Both Any and Count methods are part of the LINQ. Let's compare Any vs Count and see which one performs better.
322: Making Money with Subscriptions
I tried to recreate a comic book using Midjourney and Alan Moore’s script
In this article, I wanted to see how Midjourney would handle creating images from the comic book script, namely Killing Joke by Alan Moore.
Implement a GRPC API with OpenIddict and the OAuth client credentials flow
This post shows how to implement a GRPC service implemented in an ASP.NET Core kestrel hosted service. The GRPC service is protected using an access token. The client application uses the OAuth2 cl…
How to Change an Azure Function Written in .NET from In-Process to Isolated Process - Nick's .NET Travels
Azure Functions offers two models for .NET where code is run in-process or in an isolated process. Historically .NET developers could only use the in-process model which was a mixed blessing. Whilst it meant it was easy to use the full set of bindings/triggers…
UCL & Intel® VisualNav v2 - Facial Navigation for Visual Studio using OpenVino Technology
Facial Navigation with OpenVino for Accessible Development in Visual Studio This blog highlights a new touchless interface for use with the UCL MotionInputV3. Over the Covid period, University College London academics and students developed UCL MotionInputV3…
Using the outbox pattern in SAFE Stack apps
With a naive approach to service interaction, it can be easy for your system to get into an inconsistent state. The outbox pattern provides a way to ensure consistency. The problem Imagine that an application is required to perform two actions together so that…
03. Build Your First Function | Building Cloud Native Apps
Let's build our first Azure Functions app - and get familiar with the relevant developer tools and resources!
signalr_core | Dart Package
ASP.NET Core SignalR Client written for Dart that is platform-independent, and can be used on both the command-line and the browser.
Maik Klein
2022-09-04
10 Tiny Things in C#/.NET I Wish Were Different
In this blog post I look at a few things I wish were different in C# and .NET. I consider this an anti-post in the sense that I actually believe there is an unsound obsession in programming circles with counting code lines or characters as exemplified in my ow…
GitHub - leon-ai/leon: 🧠 Leon is your open-source personal assistant.
🧠 Leon is your open-source personal assistant. Contribute to leon-ai/leon development by creating an account on GitHub.
Zelda BotW Street View
This project was made by Nassim's Software.
ASP.NET vs Spring Boot | What are the differences?
ASP.NET - An open source web framework for building modern web apps and services with .NET. Spring Boot - Create Spring-powered, production-grade applications and services with absolute minimum fuss.
Why developers like ASP.NET Core
See what developers are saying about how they use ASP.NET Core. Check out popular companies that use ASP.NET Core and some tools that integrate with ASP.NET Core.
Why developers like Blazor
See what developers are saying about how they use Blazor. Check out popular companies that use Blazor and some tools that integrate with Blazor.
Alleged WeChat Data Breach
Alleged WeChat Data Breach. GitHub Gist: instantly share code, notes, and snippets.
Using Go generics to pass struct slices for interface slices - Dusted Codes
Have you ever tried to pass a struct slice into a function which accepts a slice of interfaces? In ...
Alleged TikTok Data Breach
Alleged TikTok Data Breach. GitHub Gist: instantly share code, notes, and snippets.
BeeHive CyberSecurity
We help make the internet safer everyday by targeting bad actors and malicious content. We operate individually, independently, and autonomously. Dare feel our sting?
John Regehr's Integers in C
A restoration of John Regehrs famous quiz on integers in C